pub const VMX_REASON_VMX_TIMER_EXPIRED: u64 = 52;