pub const VMX_REASON_IRQ: u64 = 1;