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