Constant x86defs::vmx::INTERRUPT_TYPE_NMI

pub const INTERRUPT_TYPE_NMI: u8 = 2;