Searched refs:sz_vexsh2 (Results 1 – 1 of 1) sorted by relevance
722 UInt sz_vexsh2 = (UInt) sizeof tst->arch.vex_shadow2; in do_pre_run_checks() local730 (void*)a_vexsh2, sz_vexsh2, in do_pre_run_checks()735 vg_assert(sz_vexsh2 % LibVEX_GUEST_STATE_ALIGN == 0); in do_pre_run_checks()749 vg_assert(sz_vex == sz_vexsh2); in do_pre_run_checks()