acpi_handle_madt
{ ACPI_SIG_MADT, acpi_handle_madt },
static void acpi_handle_madt(ACPI_TABLE_HEADER *sdp);