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