db_print_inpcb
db_print_inpcb(inp, "inpcb", 0);
void db_print_inpcb(struct inpcb *, const char *, int);
db_print_inpcb(tptoinpcb(tp), "t_inpcb", indent);