Symbol: db_examine
sys/ddb/db_examine.c
48
void db_examine(vaddr_t, char *, int);
sys/ddb/db_examine.c
68
db_examine((vaddr_t)addr, db_examine_format, count);