Symbol: db_ctf_pprint_ptr
sys/ddb/db_ctf.c
491
db_ctf_pprint_ptr(ctt, addr);
sys/ddb/db_ctf.c
66
void db_ctf_pprint_ptr(const struct ctf_type *, vaddr_t);