syms_of_keyboard_for_pdumper 12678 src/keyboard.c static void syms_of_keyboard_for_pdumper (void);
syms_of_keyboard_for_pdumper 13735 src/keyboard.c   pdumper_do_now_and_after_load (syms_of_keyboard_for_pdumper);