kdb_symbol_print
kdb_symbol_print(bp->bp_addr, NULL, KDB_SP_DEFAULT);
kdb_symbol_print(value, NULL, KDB_SP_DEFAULT);
kdb_symbol_print(word, &symtab, 0);
extern void kdb_symbol_print(unsigned long, const kdb_symtab_t *, unsigned int);