get_madt_table    205 drivers/acpi/processor_core.c 		phys_id = map_madt_entry(get_madt_table(), type, acpi_id);
get_madt_table    288 drivers/acpi/processor_core.c 	madt = get_madt_table();