Constant VMCS_GUEST_ES 

pub const VMCS_GUEST_ES: uint32_t = 0x00000800;