Symbol: cpu_idle_exit
sys/x86/x86/cpu_machdep.c
715
cpu_idle_exit(state);
sys/x86/x86/cpu_machdep.c
743
cpu_idle_exit(state);