acpi_print_madt
acpi_walk_subtables(sdp, (madt + 1), acpi_print_madt);
static void acpi_print_madt(ACPI_SUBTABLE_HEADER *mp);