pub const ARCH_MAP_VDSO_X32: u32 = 8193;