Searched defs:nmilevel (Results 1 – 1 of 1) sorted by relevance
484 int nmilevel = 0; in gicv3_cpuif_virt_irq_fiq_update() local1051 int nmilevel = 0; in gicv3_cpuif_update() local