pub const VMCS_HOST_CS: u32 = 0x00000c02;