Symbol: kbdinit
sys/dev/kbd/kbdreg.h
410
void kbdinit(void);
sys/kern/kern_cons.c
176
kbdinit();