dfc_destid_t
dfc_destid_t *destid;
if (dfc->buf3_size < sizeof (dfc_destid_t)) {
destid = (dfc_destid_t *)dfc->buf3;
dfc_destid_t *destid;
if (dfc->buf3_size < sizeof (dfc_destid_t)) {
destid = (dfc_destid_t *)dfc->buf3;