pub const VMCS_GUEST_ES: u32 = 0x00000800;