MUL32             117 crypto/vmac.c  		u64 m = MUL32(_i1, _i2>>32) + MUL32(_i1>>32, _i2);	\
MUL32             118 crypto/vmac.c  		rh = MUL32(_i1>>32, _i2>>32);				\
MUL32             119 crypto/vmac.c  		rl = MUL32(_i1, _i2);					\
MUL32             126 crypto/vmac.c  		u64 m1 = MUL32(_i1, _i2>>32);				\
MUL32             127 crypto/vmac.c  		u64 m2 = MUL32(_i1>>32, _i2);				\
MUL32             128 crypto/vmac.c  		rh = MUL32(_i1>>32, _i2>>32);				\
MUL32             129 crypto/vmac.c  		rl = MUL32(_i1, _i2);					\
MUL32             261 crypto/vmac.c  			m2 = MUL32(t1 >> 32, t2);			\
MUL32             262 crypto/vmac.c  			m1 = MUL32(t1, t2 >> 32);			\
MUL32             263 crypto/vmac.c  			ADD128(rh, rl, MUL32(t1 >> 32, t2 >> 32),	\
MUL32             264 crypto/vmac.c  				MUL32(t1, t2));				\
MUL32             289 crypto/vmac.c  	p = MUL32(a3, k3);
MUL32             292 crypto/vmac.c  	p += MUL32(a0, k2);
MUL32             293 crypto/vmac.c  	p += MUL32(a1, k1);
MUL32             294 crypto/vmac.c  	p += MUL32(a2, k0);
MUL32             297 crypto/vmac.c  	p += MUL32(a0, k3);
MUL32             298 crypto/vmac.c  	p += MUL32(a1, k2);
MUL32             299 crypto/vmac.c  	p += MUL32(a2, k1);
MUL32             300 crypto/vmac.c  	p += MUL32(a3, k0);
MUL32             304 crypto/vmac.c  	p += MUL32(a0, k0);
MUL32             305 crypto/vmac.c  	q =  MUL32(a1, k3);
MUL32             306 crypto/vmac.c  	q += MUL32(a2, k2);
MUL32             307 crypto/vmac.c  	q += MUL32(a3, k1);
MUL32             313 crypto/vmac.c  	p += MUL32(a0, k1);
MUL32             314 crypto/vmac.c  	p += MUL32(a1, k0);
MUL32             315 crypto/vmac.c  	q =  MUL32(a2, k3);
MUL32             316 crypto/vmac.c  	q += MUL32(a3, k2);