Symbol: ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR
drivers/irqchip/irq-gic-v3.c
2364
type = ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR;
drivers/irqchip/irq-gic-v3.c
2411
count = acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR,
drivers/irqchip/irq-gic.c
1576
return acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR,