//! Model Specific Register addresses and values pub const IA32_EFER: u32 = 0xC0000080; pub const IA32_STAR: u32 = 0xC0000081; pub const IA32_LSTAR: u32 = 0xC0000082; pub const IA32_CSTAR: u32 = 0xC0000083; pub const IA32_FMASK: u32 = 0xC0000084; pub const IA32_FS_BASE: u32 = 0xC0000100; pub const IA32_GS_BASE: u32 = 0xC0000101; pub const IA32_KERNEL_GS_BASE: u32 = 0xC0000102; pub const EFER_SCE: u64 = 1 << 0; pub const EFER_LME: u64 = 1 << 8; pub const EFER_LMA: u64 = 1 << 10; pub const EFER_NXE: u64 = 1 << 11; pub const STAR_KERNEL_CS_SHIFT: u6 = 32; pub const STAR_USER_BASE_SHIFT: u6 = 48; pub const FMASK_IF: u64 = 0x200;