pub const VMX_REASON_IRQ_WND: u64 = 7;