<dec f='src/src/sys/arch/x86/include/cpu_counter.h' l='39' type='__uint32_t cpu_counter32()'/>
<use f='src/src/sys/dev/rndpseudo.c' l='165' u='c' c='rndpseudo_counter'/>
<use f='src/src/sys/kern/kern_rndq.c' l='203' u='c' c='rnd_counter'/>
<use f='src/src/sys/kern/subr_cprng.c' l='103' u='c' c='cprng_counter'/>
