24 static bool irqbetter(GICv3CPUState *cs, int irq, uint8_t prio, bool nmi)  in irqbetter()  argument
41     if (nmi != cs->hppi.nmi) {  in irqbetter()
42         return nmi;  in irqbetter()
144     uint32_t nmi = 0x0;  in gicv3_get_priority()  local
147         nmi = extract32(cs->gicr_inmir0, irq, 1);  in gicv3_get_priority()
149         nmi = *gic_bmp_ptr32(cs->gic->nmi, irq);  in gicv3_get_priority()
150         nmi = nmi & (1 << (irq & 0x1f));  in gicv3_get_priority()
153     if (nmi) {  in gicv3_get_priority()
154         /* DS = 0 & Non-secure NMI */  in gicv3_get_priority()
187     bool nmi = false;  in gicv3_redist_update_noirqset()  local
199             nmi = gicv3_get_priority(cs, true, i, &prio);  in gicv3_redist_update_noirqset()
200             if (irqbetter(cs, i, prio, nmi)) {  in gicv3_redist_update_noirqset()
203                 cs->hppi.nmi = nmi;  in gicv3_redist_update_noirqset()
216         if (irqbetter(cs, cs->hpplpi.irq, cs->hpplpi.prio, cs->hpplpi.nmi)) {  in gicv3_redist_update_noirqset()
219             cs->hppi.nmi = cs->hpplpi.nmi;  in gicv3_redist_update_noirqset()
262     bool nmi = false;  in gicv3_update_noirqset()  local
290         nmi = gicv3_get_priority(cs, false, i, &prio);  in gicv3_update_noirqset()
291         if (irqbetter(cs, i, prio, nmi)) {  in gicv3_update_noirqset()
294             cs->hppi.nmi = nmi;  in gicv3_update_noirqset()
344         s->cpu[i].hppi.nmi = false;  in gicv3_full_update_noirqset()