Symbol: db_pprint_cmd
sys/ddb/db_command.c
170
DB_CMD("pprint", db_pprint_cmd, CS_OWN),
sys/ddb/ddb.h
300
db_cmdfcn_t db_pprint_cmd;