x86::vmx::vmcs::control

Constant EOI_EXIT3_HIGH

Source 
pub const EOI_EXIT3_HIGH: u32 = 0x2023;
Expand description

EOI-exit bitmap 3 (high).