Searched refs:a_vex (Results 1 – 1 of 1) sorted by relevance
716 Addr a_vex = (Addr) & tst->arch.vex; in do_pre_run_checks() local728 (void*)a_vex, sz_vex, in do_pre_run_checks()738 vg_assert(a_vex % LibVEX_GUEST_STATE_ALIGN == 0); in do_pre_run_checks()750 vg_assert(a_vex + 1 * sz_vex == a_vexsh1); in do_pre_run_checks()751 vg_assert(a_vex + 2 * sz_vex == a_vexsh2); in do_pre_run_checks()755 vg_assert(a_vex + 3 * sz_vex == a_spill); in do_pre_run_checks()