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