init_minibuf_once_for_pdumper 2260 src/minibuf.c  static void init_minibuf_once_for_pdumper (void);
init_minibuf_once_for_pdumper 2267 src/minibuf.c    pdumper_do_now_and_after_load (init_minibuf_once_for_pdumper);