ARCH_MAP_VDSO_X32

vmm::arch::x86_64::generated::arch_prctl

Constant ARCH_MAP_VDSO_X32 

Source 
pub const ARCH_MAP_VDSO_X32: u32 = 8193;