taglinefilesource code
put_queue158drivers/char/keyboard.cstatic void put_queue(int);
put_queue188drivers/char/keyboard.cput_queue(c);      /*  0*******  */
put_queue190drivers/char/keyboard.cput_queue(0xc0 | (c >> 6));   /*  110***** 10******  */
put_queue191drivers/char/keyboard.cput_queue(0x80 | (c & 0x3f));
put_queue193drivers/char/keyboard.cput_queue(0xe0 | (c >> 12));   /*  1110**** 10****** 10******  */
put_queue194drivers/char/keyboard.cput_queue(0x80 | ((c >> 6) & 0x3f));
put_queue195drivers/char/keyboard.cput_queue(0x80 | (c & 0x3f));
put_queue377drivers/char/keyboard.cput_queue(scancode);
put_queue505drivers/char/keyboard.cput_queue(keycode + up_flag);
put_queue603drivers/char/keyboard.cput_queue(13);
put_queue605drivers/char/keyboard.cput_queue(10);
put_queue788drivers/char/keyboard.cput_queue(value);
put_queue810drivers/char/keyboard.cput_queue(value);
put_queue834drivers/char/keyboard.cput_queue(d);
put_queue908drivers/char/keyboard.cput_queue(pad_chars[value]);
put_queue910drivers/char/keyboard.cput_queue(10);
put_queue955drivers/char/keyboard.cput_queue(npadch & 0xff);
put_queue994drivers/char/keyboard.cput_queue('\033');
put_queue995drivers/char/keyboard.cput_queue(value);
put_queue997drivers/char/keyboard.cput_queue(value | 0x80);