Lines Matching full:guest_d0
802 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex.guest_D0));803 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow1.guest_D0));804 vg_assert(VG_IS_16_ALIGNED(& tst->arch.vex_shadow2.guest_D0));