Searched refs:a_vexsh2 (Results 1 – 1 of 1) sorted by relevance
718 Addr a_vexsh2 = (Addr) & tst->arch.vex_shadow2; in do_pre_run_checks() local730 (void*)a_vexsh2, sz_vexsh2, in do_pre_run_checks()740 vg_assert(a_vexsh2 % LibVEX_GUEST_STATE_ALIGN == 0); in do_pre_run_checks()751 vg_assert(a_vex + 2 * sz_vex == a_vexsh2); in do_pre_run_checks()