vcpu_walk_t
vcpu_walk_t *vwp;
vwp = mdb_alloc(sizeof (vcpu_walk_t), UM_SLEEP);
vcpu_walk_t *vwp = (vcpu_walk_t *)wsp->walk_data;
vcpu_walk_t *vwp = (vcpu_walk_t *)wsp->walk_data;
mdb_free(vwp, sizeof (vcpu_walk_t));