140 		uint64_t v0, v1, v2;  in poly1305_inner_big()  local
144 		v1 = br_dec64le(buf + 8);  in poly1305_inner_big()
145 		v2 = v1 >> 24;  in poly1305_inner_big()
146 		v1 = ((v0 >> 44) | (v1 << 20)) & MASK44;  in poly1305_inner_big()
149 		a1 += v1;  in poly1305_inner_big()
159 		v1 = br_dec64le(buf + 24);  in poly1305_inner_big()
160 		v2 = v1 >> 24;  in poly1305_inner_big()
161 		v1 = ((v0 >> 44) | (v1 << 20)) & MASK44;  in poly1305_inner_big()
164 		a1 += v1;  in poly1305_inner_big()
174 		v1 = br_dec64le(buf + 40);  in poly1305_inner_big()
175 		v2 = v1 >> 24;  in poly1305_inner_big()
176 		v1 = ((v0 >> 44) | (v1 << 20)) & MASK44;  in poly1305_inner_big()
179 		a1 += v1;  in poly1305_inner_big()
189 		v1 = br_dec64le(buf + 56);  in poly1305_inner_big()
190 		v2 = v1 >> 24;  in poly1305_inner_big()
191 		v1 = ((v0 >> 44) | (v1 << 20)) & MASK44;  in poly1305_inner_big()
194 		a1 += v1;  in poly1305_inner_big()
239 		uint64_t v0, v1, v2;  in poly1305_inner_small()  local
250 		v1 = br_dec64le(buf + 8);  in poly1305_inner_small()
252 		v2 = v1 >> 24;  in poly1305_inner_small()
253 		v1 = ((v0 >> 44) | (v1 << 20)) & MASK44;  in poly1305_inner_small()
257 		a1 += v1;  in poly1305_inner_small()
322 	uint32_t v0, v1, v2, v3, v4;  in br_poly1305_ctmulq_run()  local
415 	v1 = (uint32_t)(acc[0] >> 32) | ((uint32_t)acc[1] << 12);  in br_poly1305_ctmulq_run()
421 	ctl &= EQ(v1, 0xFFFFFFFF);  in br_poly1305_ctmulq_run()
426 	v1 = MUX(ctl, 0, v1);  in br_poly1305_ctmulq_run()
435 	w1 = (uint64_t)v1 + (uint64_t)br_dec32le(pkey + 20) + (w0 >> 32);  in br_poly1305_ctmulq_run()
439 	v1 = (uint32_t)w1;  in br_poly1305_ctmulq_run()
447 	br_enc32le((unsigned char *)tag +  4, v1);  in br_poly1305_ctmulq_run()