madt_parse_ints
madt_walk_table(madt_parse_ints, NULL);
static void madt_parse_ints(ACPI_SUBTABLE_HEADER *entry,