Constant ARCH_MAP_VDSO_32 

pub const ARCH_MAP_VDSO_32: u32 = 8194;