tag	line	file	source code
put_queue	119	drivers/char/keyboard.c	static void put_queue(int);
put_queue	230	drivers/char/keyboard.c	put_queue(scancode);
put_queue	316	drivers/char/keyboard.c	put_queue(scancode + up_flag);
put_queue	403	drivers/char/keyboard.c	put_queue(13);
put_queue	405	drivers/char/keyboard.c	put_queue(10);
put_queue	543	drivers/char/keyboard.c	put_queue(value);
put_queue	565	drivers/char/keyboard.c	put_queue(value);
put_queue	589	drivers/char/keyboard.c	put_queue(d);
put_queue	662	drivers/char/keyboard.c	put_queue(pad_chars[value]);
put_queue	664	drivers/char/keyboard.c	put_queue(10);
put_queue	704	drivers/char/keyboard.c	put_queue(npadch);
put_queue	740	drivers/char/keyboard.c	put_queue('\033');
put_queue	741	drivers/char/keyboard.c	put_queue(value);
put_queue	743	drivers/char/keyboard.c	put_queue(value | 0x80);
put_queue	834	drivers/char/keyboard.c	put_queue(TTY_BREAK);
put_queue	835	drivers/char/keyboard.c	put_queue(0);