Symbol: x86_monitor
sys/arch/x86/acpi/acpi_cpu_md.c
414
x86_monitor(&ci->ci_want_resched, 0, 0);
sys/arch/x86/include/cpufunc.h
140
void x86_monitor(const void *, uint32_t, uint32_t);
sys/arch/x86/x86/cpu.c
1517
x86_monitor(&ci->ci_want_resched, 0, 0);
sys/arch/x86/x86/cpu.c
980
x86_monitor(&ci->ci_flags, 0, 0);