Symbol: set_curthread
sys/arm/arm/machdep.c
366
set_curthread(&thread0);
sys/arm/arm/mp_machdep.c
179
set_curthread(pc->pc_idlethread);