kset_echo_prompt  657 src/keyboard.c   kset_echo_prompt (current_kboard, Qnil);
kset_echo_prompt 3240 src/keyboard.c       kset_echo_prompt (current_kboard, saved_echo_prompt);
kset_echo_prompt 10379 src/keyboard.c 	  kset_echo_prompt (current_kboard, prompt);
kset_echo_prompt 12451 src/keyboard.c   kset_echo_prompt (kb, Qnil);