kset_echo_prompt  633 src/keyboard.c   kset_echo_prompt (current_kboard, Qnil);
kset_echo_prompt 3209 src/keyboard.c       kset_echo_prompt (current_kboard, saved_echo_prompt);
kset_echo_prompt 9920 src/keyboard.c 	  kset_echo_prompt (current_kboard, prompt);
kset_echo_prompt 11912 src/keyboard.c   kset_echo_prompt (kb, Qnil);