tag	line	file	source code
initialize_kbd	47	drivers/char/keyboard.c	static int initialize_kbd(void);
initialize_kbd	1206	drivers/char/keyboard.c	initialize_kbd();