ACPI_MADT_VGIC_IRQ_MODE 1971 drivers/irqchip/irq-gic-v3.c 	maint_irq_mode = (gicc->flags & ACPI_MADT_VGIC_IRQ_MODE) ?
ACPI_MADT_VGIC_IRQ_MODE 1525 drivers/irqchip/irq-gic.c 	acpi_data.maint_irq_mode = (processor->flags & ACPI_MADT_VGIC_IRQ_MODE) ?