pub const VMCS_HOST_IA32_SYSENTER_CS: u32 = 0x00004c00;