[][src]Constant x86::vmx::vmcs::host::ES_SELECTOR

pub const ES_SELECTOR: u32 = 0xC00;

Host ES selector.