x86::vmx::vmcs::control

Constant POSTED_INTERRUPT_DESC_ADDR_HIGH

Source 
pub const POSTED_INTERRUPT_DESC_ADDR_HIGH: u32 = 0x2017;
Expand description

Posted-interrupt descriptor address (high).