Constant ARCH_MAP_VDSO_64 

pub const ARCH_MAP_VDSO_64: u32 = 8195;