prctl$PR_SET_MM_AUXV(0x23, 0xc, &(0x7f0000000000)="d7", 0x1)