dce_format
(void) dce_format(addr, &dce, &ipversion);
} else if (mdb_pwalk("dce", (mdb_walk_cb_t)dce_format, &ipversion,