Symbol: ACPI_MADT_TYPE_NMI_SOURCE
arch/x86/kernel/acpi/boot.c
1238
count = acpi_table_parse_madt(ACPI_MADT_TYPE_NMI_SOURCE,
drivers/acpi/tables.c
98
case ACPI_MADT_TYPE_NMI_SOURCE: