arch_prctl$ARCH_MAP_VDSO_64(0x1022, 0xf0ff1f00000000)