Searched refs:dump_kern_db (Results 1 – 2 of 2) sorted by relevance
274 static void dump_kern_db(FILE *fp, int to_hist) in dump_kern_db() function461 dump_kern_db(fp, 0); in server_loop()692 dump_kern_db(stdout, 0); in main()702 dump_kern_db(hist_fp, 1); in main()
445 static void dump_kern_db(FILE *fp) in dump_kern_db() function860 dump_kern_db(stdout); in main()