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