Searched defs:cpu0_nmi_registered (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/arch/x86/kernel/
H A Dsmpboot.c813 int cpu0_nmi_registered = 0; do_boot_cpu() local
739 wakeup_cpu_via_init_nmi(int cpu, unsigned long start_ip, int apicid, int *cpu0_nmi_registered) wakeup_cpu_via_init_nmi() argument

Completed in 37 milliseconds