acpi_table_madt   223 arch/x86/kernel/acpi/boot.c 	struct acpi_table_madt *madt = NULL;
acpi_table_madt   228 arch/x86/kernel/acpi/boot.c 	madt = (struct acpi_table_madt *)table;