pub const VMENTRY_LOAD_EFER: u64 = 1 << 15; // 32_768u64