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