Symbol: clear_user_resched
sys/kern/usched_bsd4.c
1783
clear_user_resched(); /* This satisfied the reschedule request */
sys/kern/usched_bsd4.c
353
clear_user_resched();
sys/kern/usched_dfly.c
2386
clear_user_resched(); /* This satisfied the reschedule request */
sys/kern/usched_dfly.c
363
clear_user_resched();
sys/kern/usched_dummy.c
241
clear_user_resched();