x86::vmx::vmcs::host

Constant ES_SELECTOR

Source 
pub const ES_SELECTOR: u32 = 0xC00;
Expand description

Host ES selector.