tuncl_format
tuncl_format(addr, &tcl, &qfmt);
} else if (mdb_walk("tuncl", (mdb_walk_cb_t)tuncl_format, &qfmt) ==