Lines Matching refs:guest_VSR1
775 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex.guest_VSR1));776 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow1.guest_VSR1));777 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow2.guest_VSR1));