Searched refs:dump_kern_db (Results 1 – 2 of 2) sorted by relevance
258 void dump_kern_db(FILE *fp, int to_hist) in dump_kern_db() function411 dump_kern_db(fp, 0); in server_loop()610 dump_kern_db(stdout, 0); in main()617 dump_kern_db(hist_fp, 1); in main()
377 void dump_kern_db(FILE *fp) in dump_kern_db() function756 dump_kern_db(stdout); in main()