acpi_madt_nmi_source  430 arch/x86/kernel/acpi/boot.c 	struct acpi_madt_nmi_source *nmi_src = NULL;
acpi_madt_nmi_source  432 arch/x86/kernel/acpi/boot.c 	nmi_src = (struct acpi_madt_nmi_source *)header;