ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR 1870 drivers/irqchip/irq-gic-v3.c type = ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR; ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR 1923 drivers/irqchip/irq-gic-v3.c count = acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR, ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR 1543 drivers/irqchip/irq-gic.c return acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR,