enabled_rdists   1804 drivers/irqchip/irq-gic-v3.c 	int enabled_rdists;
enabled_rdists   1900 drivers/irqchip/irq-gic-v3.c 		acpi_data.enabled_rdists++;
enabled_rdists   1934 drivers/irqchip/irq-gic-v3.c 		count = acpi_data.enabled_rdists;