pub const VMX_REASON_EXC_NMI: u64 = 0;