114 	__in_ecount(count)	uint32_t const *input,  in efx_hash_dwords()
128 		a += input[0];  in efx_hash_dwords()
129 		b += input[1];  in efx_hash_dwords()
130 		c += input[2];  in efx_hash_dwords()
134 		input += 3;  in efx_hash_dwords()
140 		c += input[2];  in efx_hash_dwords()
143 		b += input[1];  in efx_hash_dwords()
146 		a += input[0];  in efx_hash_dwords()
163 	__in_ecount(length)	uint8_t const *input,  in efx_hash_bytes()
176 		a += ((uint32_t)input[0]) << 24;  in efx_hash_bytes()
177 		a += ((uint32_t)input[1]) << 16;  in efx_hash_bytes()
178 		a += ((uint32_t)input[2]) << 8;  in efx_hash_bytes()
179 		a += ((uint32_t)input[3]);  in efx_hash_bytes()
180 		b += ((uint32_t)input[4]) << 24;  in efx_hash_bytes()
181 		b += ((uint32_t)input[5]) << 16;  in efx_hash_bytes()
182 		b += ((uint32_t)input[6]) << 8;  in efx_hash_bytes()
183 		b += ((uint32_t)input[7]);  in efx_hash_bytes()
184 		c += ((uint32_t)input[8]) << 24;  in efx_hash_bytes()
185 		c += ((uint32_t)input[9]) << 16;  in efx_hash_bytes()
186 		c += ((uint32_t)input[10]) << 8;  in efx_hash_bytes()
187 		c += ((uint32_t)input[11]);  in efx_hash_bytes()
190 		input += 12;  in efx_hash_bytes()
196 		c += ((uint32_t)input[11]);  in efx_hash_bytes()
199 		c += ((uint32_t)input[10]) << 8;  in efx_hash_bytes()
202 		c += ((uint32_t)input[9]) << 16;  in efx_hash_bytes()
205 		c += ((uint32_t)input[8]) << 24;  in efx_hash_bytes()
208 		b += ((uint32_t)input[7]);  in efx_hash_bytes()
211 		b += ((uint32_t)input[6]) << 8;  in efx_hash_bytes()
214 		b += ((uint32_t)input[5]) << 16;  in efx_hash_bytes()
217 		b += ((uint32_t)input[4]) << 24;  in efx_hash_bytes()
220 		a += ((uint32_t)input[3]);  in efx_hash_bytes()
223 		a += ((uint32_t)input[2]) << 8;  in efx_hash_bytes()
226 		a += ((uint32_t)input[1]) << 16;  in efx_hash_bytes()
229 		a += ((uint32_t)input[0]) << 24;  in efx_hash_bytes()
246 	__in_ecount(length)	uint8_t const *input,  in efx_hash_bytes()
259 		a += ((uint32_t)input[0]);  in efx_hash_bytes()
260 		a += ((uint32_t)input[1]) << 8;  in efx_hash_bytes()
261 		a += ((uint32_t)input[2]) << 16;  in efx_hash_bytes()
262 		a += ((uint32_t)input[3]) << 24;  in efx_hash_bytes()
263 		b += ((uint32_t)input[4]);  in efx_hash_bytes()
264 		b += ((uint32_t)input[5]) << 8;  in efx_hash_bytes()
265 		b += ((uint32_t)input[6]) << 16;  in efx_hash_bytes()
266 		b += ((uint32_t)input[7]) << 24;  in efx_hash_bytes()
267 		c += ((uint32_t)input[8]);  in efx_hash_bytes()
268 		c += ((uint32_t)input[9]) << 8;  in efx_hash_bytes()
269 		c += ((uint32_t)input[10]) << 16;  in efx_hash_bytes()
270 		c += ((uint32_t)input[11]) << 24;  in efx_hash_bytes()
273 		input += 12;  in efx_hash_bytes()
279 		c += ((uint32_t)input[11]) << 24;  in efx_hash_bytes()
282 		c += ((uint32_t)input[10]) << 16;  in efx_hash_bytes()
285 		c += ((uint32_t)input[9]) << 8;  in efx_hash_bytes()
288 		c += ((uint32_t)input[8]);  in efx_hash_bytes()
291 		b += ((uint32_t)input[7]) << 24;  in efx_hash_bytes()
294 		b += ((uint32_t)input[6]) << 16;  in efx_hash_bytes()
297 		b += ((uint32_t)input[5]) << 8;  in efx_hash_bytes()
300 		b += ((uint32_t)input[4]);  in efx_hash_bytes()
303 		a += ((uint32_t)input[3]) << 24;  in efx_hash_bytes()
306 		a += ((uint32_t)input[2]) << 16;  in efx_hash_bytes()
309 		a += ((uint32_t)input[1]) << 8;  in efx_hash_bytes()
312 		a += ((uint32_t)input[0]);  in efx_hash_bytes()