* `and64 $aDst0:Dst0+1, $aSrc0:Src0+1, $aSrc1:Src1+1`

64-bit bitwise logical AND of two ARF source register-pairs.