Searched refs:maintenance_irq (Results 1 – 3 of 3) sorted by relevance
76 qemu_irq maintenance_irq[GIC_NCPU]; member
162 sysbus_init_irq(sbd, &s->maintenance_irq[i]); in gic_init_irqs_and_mmio()
343 qemu_set_irq(s->maintenance_irq[cpu], maint_level); in gic_update_maintenance()