pub const ARCH_MAP_VDSO_32: u32 = 8194;