is_machine_check 4605 arch/x86/kvm/vmx/vmx.c 	if (is_machine_check(intr_info) || is_nmi(intr_info))
is_machine_check 6207 arch/x86/kvm/vmx/vmx.c 	if (is_machine_check(vmx->exit_intr_info))