Home | History | Annotate | Download | only in priv

Lines Matching refs:vcon

190 void LibVEX_default_VexControl ( /*OUT*/ VexControl* vcon )
192    vex_bzero(vcon, sizeof(*vcon));
193    vcon->iropt_verbosity                = 0;
194    vcon->iropt_level                    = 2;
195    vcon->iropt_register_updates_default = VexRegUpdUnwindregsAtMemAccess;
196    vcon->iropt_unroll_thresh            = 120;
197    vcon->guest_max_insns                = 60;
198    vcon->guest_chase_thresh             = 10;
199    vcon->guest_chase_cond               = False;
214    const VexControl* vcon
228    vassert(vcon->iropt_verbosity >= 0);
229    vassert(vcon->iropt_level >= 0);
230    vassert(vcon->iropt_level <= 2);
231    vassert(vcon->iropt_unroll_thresh >= 0);
232    vassert(vcon->iropt_unroll_thresh <= 400);
233    vassert(vcon->guest_max_insns >= 1);
234    vassert(vcon->guest_max_insns <= 100);
235    vassert(vcon->guest_chase_thresh >= 0);
236    vassert(vcon->guest_chase_thresh < vcon->guest_max_insns);
237    vassert(vcon->guest_chase_cond == True 
238            || vcon->guest_chase_cond == False);
302    vex_control            = *vcon;