rctl_val_seen_t
rctl_val_seen_t *v_seen;
rctl_val_seen_t *tseen = mdb_zalloc(new_seen_size *
sizeof (rctl_val_seen_t), UM_SLEEP | UM_GC);
sizeof (rctl_val_seen_t));
data.v_seen = mdb_zalloc(data.v_seen_size * sizeof (rctl_val_seen_t),