- k -

• kbd_arch_process() : kbd.h
• keyboard_events() : console.c
• keybuffer_available() : key_buffer.h
• keybuffer_empty() : key_buffer.h
• keybuffer_free() : key_buffer.h
• keybuffer_init() : key_buffer.h
• keybuffer_pop() : key_buffer.h
• keybuffer_push() : key_buffer.h

---