Symbol: thread_run_flash
sys/kern/sys_process.c
1891
thread_run_flash(td2);
sys/kern/sys_process.c
1940
thread_run_flash(td2);
sys/sys/proc.h
1292
void thread_run_flash(struct thread *td);