Searched refs:ddb_readfile (Results 1 - 1 of 1) sorted by relevance

/freebsd-11-stable/sbin/ddb/
H A Dddb.c41 void ddb_readfile(char *file);
59 ddb_readfile(char *filename) function
132 ddb_readfile(argv[1]);

Completed in 121 milliseconds