Searched refs:a_vexsh1 (Results 1 – 1 of 1) sorted by relevance
635 Addr a_vexsh1 = (Addr) & tst->arch.vex_shadow1; in do_pre_run_checks() local647 (void*)a_vexsh1, sz_vexsh1, in do_pre_run_checks()657 vg_assert(VG_IS_16_ALIGNED(a_vexsh1)); in do_pre_run_checks()668 vg_assert(a_vex + 1 * sz_vex == a_vexsh1); in do_pre_run_checks()