var searchData=
[
  ['kbdstatus_1327',['kbdstatus',['../de/dbd/keyboard_8c.html#a2c32fd02739e3c1e5cb0e74674365609',1,'keyboard.c']]],
  ['kernel_5fproc_1328',['kernel_proc',['../dd/d6c/scheduler_8c.html#a707073d202c7bd81b3c287ab2f7add08',1,'scheduler.c']]],
  ['kernel_5fthread_1329',['kernel_thread',['../dd/d6c/scheduler_8c.html#a632f869ec36c4ead23a7365bcb69d446',1,'scheduler.c']]]
];
