vgic_interrupt   1977 drivers/irqchip/irq-gic-v3.c 		acpi_data.maint_irq = gicc->vgic_interrupt;
vgic_interrupt   1987 drivers/irqchip/irq-gic-v3.c 	if ((acpi_data.maint_irq != gicc->vgic_interrupt) ||
vgic_interrupt   1524 drivers/irqchip/irq-gic.c 	acpi_data.maint_irq = processor->vgic_interrupt;
vgic_interrupt    640 include/acpi/actbl2.h 	u32 vgic_interrupt;