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