- k -

• kbd_init() : kbd.c, kbd.h
• kbd_print_stats() : kbd.c, kbd.h
• kernel_thread() : thread.c
• keyboard_interrupt() : kbd.c
• kill() : exception.c