Symbol: cpu_monitor
sys/x86/x86/cpu_machdep.c
402
cpu_monitor(state, 0, 0);
sys/x86/x86/cpu_machdep.c
738
cpu_monitor(state, 0, 0);
sys/x86/x86/mp_x86.c
1549
cpu_monitor(mb, 0, 0);