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;