Searched refs:dbguini (Results 1 – 7 of 7) sorted by relevance
444 void dbguini(dbgcxdef *ctx, const char *game_filename);
485 dbguini(&dbg, infile); in tddmain1()
1175 void dbguini(dbgcxdef *ctx, const char *game_filename) in dbguini() function
437 void dbguini(dbgcxdef *ctx, const char *game_filename);
117 void dbguini(dbgcxdef *ctx, const char *game_filename) {} in dbguini() function