id_alloc_specific
extern id_t id_alloc_specific(id_space_t *, id_t);
inst->vri_id = id_alloc_specific(vip->vdi_idspace, id);