Searched refs:a_vexsh2 (Results 1 – 1 of 1) sorted by relevance
636 Addr a_vexsh2 = (Addr) & tst->arch.vex_shadow2; in do_pre_run_checks() local648 (void*)a_vexsh2, sz_vexsh2, in do_pre_run_checks()658 vg_assert(VG_IS_16_ALIGNED(a_vexsh2)); in do_pre_run_checks()669 vg_assert(a_vex + 2 * sz_vex == a_vexsh2); in do_pre_run_checks()