@@ -12343,7 +12343,7 @@ mem64,reg64 \361\321\3\x0F\x38\xFC\101 RAOINT,X86_64
[AOR]
(Ch_RWop2, Ch_Rop1)
mem32,reg32 \334\321\3\x0F\x38\xFC\101 RAOINT,SM
-mem32,reg64 \334\321\3\x0F\x38\xFC\101 RAOINT,X86_64
+mem64,reg64 \334\321\3\x0F\x38\xFC\101 RAOINT,X86_64
[AXOR]
@@ -44271,7 +44271,7 @@
(
opcode : A_AOR;
ops : 2;
- optypes : (ot_memory or ot_bits32,ot_reg64,ot_none,ot_none);
+ optypes : (ot_memory or ot_bits64,ot_reg64,ot_none,ot_none);
code : #220#209#3#15#56#252#65;
flags : [if_raoint,if_x86_64]
),