ACPI_MADT_TYPE_GENERIC_INTERRUPT
acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_INTERRUPT,
} else if (header->type == ACPI_MADT_TYPE_GENERIC_INTERRUPT) {
else if (header->type == ACPI_MADT_TYPE_GENERIC_INTERRUPT)
case ACPI_MADT_TYPE_GENERIC_INTERRUPT:
type = ACPI_MADT_TYPE_GENERIC_INTERRUPT;
count = acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_INTERRUPT,
count = acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_INTERRUPT,
acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_INTERRUPT, gic_acpi_parse_iaffid, 0);
count = acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_INTERRUPT,