prctl$PR_SET_MM_EXE_FILE(0x25, 0x7ffffffff000, 0xffffffffffffffff)