- k -

• kcycles : perc_task_t
• kcycles_diff : data_t
• key : tcp_timeout, socket_core, console_event_t, map_elem_t
• key_count : usb_kbd_t
• key_length : tcp_timeout, socket_core
• key_new : usb_kbd_repeat_t
• key_repeated : usb_kbd_repeat_t
• keybuffer : console_t
• keys : usb_kbd_t
• keys_old : usb_kbd_t
• kind : token_t
• klog : FILE

---