Symbol: acpi_madt_type