Searched refs:ddb_main (Results 1 – 1 of 1) sorted by relevance
40 void ddb_main(int argc, char *argv[]);97 ddb_main(argc, argv); in ddb_readfile()103 ddb_main(int argc, char *argv[]) in ddb_main() function132 ddb_main(argc-1, argv+1); in main()