Searched refs:mkWord64VerRep1 (Results 1 – 5 of 5) sorted by relevance
138 | inWord16VerRep1 v1 = PV0 (mkWord64VerRep1 v1)142 mkWord64VerRep1 y1 = mkWord64VerRep (y1+1) 0 0 0 function
139 | inWord16VerRep1 v1 = PV0 (mkWord64VerRep1 v1)143 mkWord64VerRep1 y1 = mkWord64VerRep (y1+1) 0 0 0 function