Symbol: get_madt_table
drivers/acpi/processor_core.c
276
phys_id = map_madt_entry(get_madt_table(), type, acpi_id);
drivers/acpi/processor_core.c
359
madt = get_madt_table();