Searched refs:cpu0_nmi_registered (Results 1 – 1 of 1) sorted by relevance
740 int *cpu0_nmi_registered) in wakeup_cpu_via_init_nmi() argument765 *cpu0_nmi_registered = 1; in wakeup_cpu_via_init_nmi()813 int cpu0_nmi_registered = 0; in do_boot_cpu() local866 &cpu0_nmi_registered); in do_boot_cpu()917 if (cpu0_nmi_registered) in do_boot_cpu()