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);