first_madt       1965 drivers/irqchip/irq-gic-v3.c 	static int first_madt = true;
first_madt       1974 drivers/irqchip/irq-gic-v3.c 	if (first_madt) {
first_madt       1975 drivers/irqchip/irq-gic-v3.c 		first_madt = false;