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