pub const VMCS_GUEST_ES_AR: u32 = 0x00004814;