Searched refs:cpu0_nmi_registered (Results 1 – 1 of 1) sorted by relevance
1016 int *cpu0_nmi_registered) in wakeup_cpu_via_init_nmi() argument1041 *cpu0_nmi_registered = 1; in wakeup_cpu_via_init_nmi()1083 int *cpu0_nmi_registered) in do_boot_cpu() argument1140 cpu0_nmi_registered); in do_boot_cpu()1189 int cpu0_nmi_registered = 0; in native_cpu_up() local1230 err = do_boot_cpu(apicid, cpu, tidle, &cpu0_nmi_registered); in native_cpu_up()1255 if (cpu0_nmi_registered) in native_cpu_up()
Completed in 6 milliseconds