Symbol: db_print_file
sys/kern/kern_descrip.c
5367
db_print_file(fp, 1);
sys/kern/kern_descrip.c
5387
db_print_file(fp, header);