cpu0_nmi_registered  963 arch/x86/kernel/smpboot.c 	       int *cpu0_nmi_registered)
cpu0_nmi_registered  988 arch/x86/kernel/smpboot.c 		*cpu0_nmi_registered = 1;
cpu0_nmi_registered 1032 arch/x86/kernel/smpboot.c 		       int *cpu0_nmi_registered)
cpu0_nmi_registered 1089 arch/x86/kernel/smpboot.c 						     cpu0_nmi_registered);
cpu0_nmi_registered 1138 arch/x86/kernel/smpboot.c 	int cpu0_nmi_registered = 0;
cpu0_nmi_registered 1179 arch/x86/kernel/smpboot.c 	err = do_boot_cpu(apicid, cpu, tidle, &cpu0_nmi_registered);
cpu0_nmi_registered 1204 arch/x86/kernel/smpboot.c 	if (cpu0_nmi_registered)