v_processor
proc_id = res.v_processor.proc_id;
sc->sc_cpu = res.v_processor.proc_id;
sc->sc_pblk_addr = res.v_processor.proc_addr;
sc->sc_pblk_len = res.v_processor.proc_len;
value->v_processor.proc_id,
value->v_processor.proc_addr,
value->v_processor.proc_len);
rv->v_processor.proc_id = opargs[1]->v_integer;
rv->v_processor.proc_addr = opargs[2]->v_integer;
rv->v_processor.proc_len = opargs[3]->v_integer;
val->v_processor.proc_id, val->v_processor.proc_addr,
val->v_processor.proc_len);
lhs->v_processor = rhs->v_processor;