Symbol: scheduler_reschedule_if_necessary_locked
headers/private/kernel/kscheduler.h
130
scheduler_reschedule_if_necessary_locked();
src/system/kernel/sem.cpp
389
scheduler_reschedule_if_necessary_locked();
src/system/kernel/sem.cpp
978
scheduler_reschedule_if_necessary_locked();