db_examine         68 ddb/db_examine.c 	db_examine((db_addr_t)addr, db_examine_format, count);
db_examine         40 ddb/db_extern.h void db_examine(db_addr_t, char *, int);