- k -

• key_number : t_ps2_key_state
• keys_down_cols_0_to_7 : bbc_keyboard_csr::t_csrs , t_bbc_keyboard
• keys_down_cols_8_to_9 : bbc_keyboard_csr::t_csrs , t_bbc_keyboard
• keys_low : t_prv_keyboard
• kill_fetch : t_riscv_pipeline_debug_control