Symbol: ACPI_MADT_VGIC_IRQ_MODE
drivers/irqchip/irq-gic-v3.c
2459
maint_irq_mode = (gicc->flags & ACPI_MADT_VGIC_IRQ_MODE) ?
drivers/irqchip/irq-gic.c
1558
acpi_data.maint_irq_mode = (processor->flags & ACPI_MADT_VGIC_IRQ_MODE) ?