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