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