pub const ARCH_MAP_VDSO_64: u32 = 8195;