pub const VMCS_GUEST_ES_BASE: u32 = 0x00006806;