db_del_symbol_table  112 ddb/db_sym.h   void db_del_symbol_table(char *);
db_del_symbol_table  258 kern/kern_lkm.c 		db_del_symbol_table(curp->private.lkm_any->lkm_name);