ACPI_MADT_TYPE_NMI_SOURCE  658 arch/ia64/kernel/acpi.c 	if (acpi_table_parse_madt(ACPI_MADT_TYPE_NMI_SOURCE, acpi_parse_nmi_src, 0) < 0)
ACPI_MADT_TYPE_NMI_SOURCE 1217 arch/x86/kernel/acpi/boot.c 	count = acpi_table_parse_madt(ACPI_MADT_TYPE_NMI_SOURCE,
ACPI_MADT_TYPE_NMI_SOURCE  107 drivers/acpi/tables.c 	case ACPI_MADT_TYPE_NMI_SOURCE: