is_nmi
if (is_nmi(intr_info))
if (is_nmi(intr_info))
if (is_nmi(intr_info) || is_machine_check(intr_info))
if (is_machine_check(intr_info) || is_nmi(intr_info))
!is_nmi(vmx_get_intr_info(vcpu)))
bool is_nmi;
is_nmi = gic_rpr_is_nmi_prio();
if (is_nmi) {
if (!is_nmi)
if (is_nmi) {
static void run_test(bool is_nmi)
pr_info("Running %s test\n", is_nmi ? "NMI" : "soft int");
if (!is_nmi) {
vcpu_args_set(vcpu, 3, svm_gva, (uint64_t)is_nmi, (uint64_t)idt_alt_vm);
static void l1_guest_code(struct svm_test_data *svm, uint64_t is_nmi, uint64_t idt_alt)
if (is_nmi)
is_nmi ? l2_guest_code_nmi : l2_guest_code_int,
if (is_nmi) {