Searched refs:sz_vexsh1 (Results 1 – 1 of 1) sorted by relevance
639 UInt sz_vexsh1 = (UInt) sizeof tst->arch.vex_shadow1; in do_pre_run_checks() local647 (void*)a_vexsh1, sz_vexsh1, in do_pre_run_checks()652 vg_assert(VG_IS_16_ALIGNED(sz_vexsh1)); in do_pre_run_checks()666 vg_assert(sz_vex == sz_vexsh1); in do_pre_run_checks()