Symbol: is_machine_check
arch/x86/kvm/vmx/tdx.c
1152
if (is_nmi(intr_info) || is_machine_check(intr_info))
arch/x86/kvm/vmx/vmx.c
5493
if (is_machine_check(intr_info) || is_nmi(intr_info))
arch/x86/kvm/vmx/vmx.c
7226
else if (is_machine_check(intr_info))