<dec f='src/src/sys/sys/kprintf.h' l='60' type='void kprintf_init_callout()'/>
