x86::vmx::vmcs::ro

Constant IDT_VECTORING_INFO

Source 
pub const IDT_VECTORING_INFO: u32 = 0x4408;
Expand description

IDT-vectoring information field.