acpi_parse_nmi_src  658 arch/ia64/kernel/acpi.c 	if (acpi_table_parse_madt(ACPI_MADT_TYPE_NMI_SOURCE, acpi_parse_nmi_src, 0) < 0)
acpi_parse_nmi_src 1218 arch/x86/kernel/acpi/boot.c 				      acpi_parse_nmi_src, nr_irqs);