Searched defs:cpu0_nmi_registered (Results 1 – 1 of 1) sorted by relevance
955 int *cpu0_nmi_registered) in wakeup_cpu_via_init_nmi()1024 int *cpu0_nmi_registered) in do_boot_cpu()1130 int cpu0_nmi_registered = 0; in native_cpu_up() local
