Symbol: rtsold_dump_file
usr.sbin/rtsold/rtsold.c
279
rtsold_dump_file(dumpfilename);
usr.sbin/rtsold/rtsold.h
92
extern void rtsold_dump_file(const char *);