read_madt          23 drivers/acpi/processor_core.c 	static int read_madt;
read_madt          25 drivers/acpi/processor_core.c 	if (!read_madt) {
read_madt          29 drivers/acpi/processor_core.c 		read_madt++;