dummy             681 sys/kern/sched.c dpc_thread(void *dummy)
dummy             347 sys/kern/timer.c timer_thread(void *dummy)