Searched refs:platform_int_types (Results 1 – 1 of 1) sorted by relevance
466 static const char *platform_int_types[] = { "0 (unknown)", "PMI", "INIT", variable538 if (isrc->Type < nitems(platform_int_types)) in acpi_print_madt()539 printf("\tType=%s\n", platform_int_types[isrc->Type]); in acpi_print_madt()