db_dump_itlb
{ DDB_ADD_CMD("itlb", db_dump_itlb, 0,
void db_dump_itlb(db_expr_t, bool, db_expr_t, const char *);