Constant x86::vmx::vmcs::control::POSTED_INTERRUPT_DESC_ADDR_FULL

pub const POSTED_INTERRUPT_DESC_ADDR_FULL: u32 = 0x2016;

Posted-interrupt descriptor address (full).