tag	line	file	source code
key_handler	137	drivers/char/keyboard.c	static k_hand key_handler[16] = {
key_handler	558	drivers/char/keyboard.c	(*key_handler[type])(keysym & 0xff, up_flag);
key_handler	575	drivers/char/keyboard.c	(*key_handler[type])(keysym & 0xff, up_flag);