tag	line	file	source code
put_queue	127	drivers/char/keyboard.c	static void put_queue(int);
put_queue	237	drivers/char/keyboard.c	put_queue(scancode);
put_queue	323	drivers/char/keyboard.c	put_queue(scancode + up_flag);
put_queue	397	drivers/char/keyboard.c	put_queue(13);
put_queue	399	drivers/char/keyboard.c	put_queue(10);
put_queue	566	drivers/char/keyboard.c	put_queue(value);
put_queue	588	drivers/char/keyboard.c	put_queue(value);
put_queue	612	drivers/char/keyboard.c	put_queue(d);
put_queue	685	drivers/char/keyboard.c	put_queue(pad_chars[value]);
put_queue	687	drivers/char/keyboard.c	put_queue(10);
put_queue	728	drivers/char/keyboard.c	put_queue(npadch);
put_queue	764	drivers/char/keyboard.c	put_queue('\033');
put_queue	765	drivers/char/keyboard.c	put_queue(value);
put_queue	767	drivers/char/keyboard.c	put_queue(value | 0x80);