<dec f='src/src/sys/sys/sched.h' l='204' type='int'/>
<doc f='src/src/sys/sys/sched.h' l='204'>/* ideally: 16 */</doc>
<def f='src/src/sys/kern/kern_clock.c' l='134' type='int'/>
<use f='src/src/sys/kern/kern_clock.c' l='190' u='r' c='initclocks'/>
<use f='src/src/sys/kern/kern_clock.c' l='235' u='r' c='hardclock'/>
