Symbol: scheduler_reschedule_ici
headers/private/kernel/kscheduler.h
30
void scheduler_reschedule_ici(void);
src/system/kernel/smp.cpp
885
scheduler_reschedule_ici();