db_tlbdump_cmd
{ DDB_ADD_CMD("tlb", db_tlbdump_cmd, 0,
void db_tlbdump_cmd(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("tlb", db_tlbdump_cmd, 0,
void db_tlbdump_cmd(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("tlb", db_tlbdump_cmd, 0,
static void db_tlbdump_cmd(db_expr_t, bool, db_expr_t, const char *);