Lines Matching refs:VexArchPPC32
17741 vassert(guest_arch == VexArchPPC32 || guest_arch == VexArchPPC64);