Searched refs:a_vexsh1 (Results 1 – 1 of 1) sorted by relevance
717 Addr a_vexsh1 = (Addr) & tst->arch.vex_shadow1; in do_pre_run_checks() local729 (void*)a_vexsh1, sz_vexsh1, in do_pre_run_checks()739 vg_assert(a_vexsh1 % 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()