tag	line	file	source code
kbd_init	65	drivers/char/kbd_kern.h	extern int kbd_init(void);
kbd_init	1806	drivers/char/tty_io.c	kbd_init();