db_add_symbol_table
db_add_symbol_table(0, 0, "kernel", 0);
void db_add_symbol_table (char *, char *, char *, char *);