pub const VMCS_HOST_ES: u32 = 0x00000c00;