_(dmul4, NIL, CARRY, P128, P128, P128, P128, P128, NIL, CARRY) \
_(dmla4, P128, CARRY, P128, P128, P128, P128, P128, NIL, CARRY) \
_(mul4, NIL, CARRY, NIL, P128, NIL, P128, P128, NIL, CARRY) \
+ _(mul4zc,NIL, NIL, NIL, P128, NIL, P128, P128, NIL, CARRY) \
_(mla4, P128, CARRY, NIL, P128, NIL, P128, P128, NIL, CARRY) \
+ _(mla4zc,P128, NIL, NIL, P128, NIL, P128, P128, NIL, CARRY) \
_(mmul4, NIL, NIL, P128, P128, P128, P128, P128, X128, CARRY) \
_(mmla4, P128, NIL, P128, P128, P128, P128, P128, X128, CARRY) \
_(mont4, P128, NIL, NIL, P128, NIL, P128, P128, X128, CARRY)