Lines Matching refs:cursor
915 let vmctx = env.vmctx_val(&mut builder.cursor()); in tag_address()
1188 let (witness, contref) = fatpointer::deconstruct(env, &mut builder.cursor(), contobj); in translate_cont_bind()
1203 let contobj = fatpointer::construct(env, &mut builder.cursor(), revision, contref); in translate_cont_bind()
1225 let vmctx = env.vmctx_val(&mut builder.cursor()); in translate_cont_new()
1232 let contobj = fatpointer::construct(env, &mut builder.cursor(), tag, contref); in translate_cont_new()
1283 let vmctx = env.vmctx_val(&mut builder.cursor()); in translate_resume()
1305 fatpointer::deconstruct(env, &mut builder.cursor(), resume_contobj); in translate_resume()
1485 &mut builder.cursor(), in translate_resume()
1614 let vmctx = env.vmctx_val(&mut builder.cursor()); in translate_suspend()
1688 let vmctx = env.vmctx_val(&mut builder.cursor()); in translate_switch()
1696 fatpointer::deconstruct(env, &mut builder.cursor(), switchee_contobj); in translate_switch()
1770 &mut builder.cursor(), in translate_switch()