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;