116 	__in_ecount(count)	uint32_t const *input,  in efx_hash_dwords()
130 		a += input[0];  in efx_hash_dwords()
131 		b += input[1];  in efx_hash_dwords()
132 		c += input[2];  in efx_hash_dwords()
136 		input += 3;  in efx_hash_dwords()
142 		c += input[2];  in efx_hash_dwords()
145 		b += input[1];  in efx_hash_dwords()
148 		a += input[0];  in efx_hash_dwords()
165 	__in_ecount(length)	uint8_t const *input,  in efx_hash_bytes()
178 		a += ((uint32_t)input[0]) << 24;  in efx_hash_bytes()
179 		a += ((uint32_t)input[1]) << 16;  in efx_hash_bytes()
180 		a += ((uint32_t)input[2]) << 8;  in efx_hash_bytes()
181 		a += ((uint32_t)input[3]);  in efx_hash_bytes()
182 		b += ((uint32_t)input[4]) << 24;  in efx_hash_bytes()
183 		b += ((uint32_t)input[5]) << 16;  in efx_hash_bytes()
184 		b += ((uint32_t)input[6]) << 8;  in efx_hash_bytes()
185 		b += ((uint32_t)input[7]);  in efx_hash_bytes()
186 		c += ((uint32_t)input[8]) << 24;  in efx_hash_bytes()
187 		c += ((uint32_t)input[9]) << 16;  in efx_hash_bytes()
188 		c += ((uint32_t)input[10]) << 8;  in efx_hash_bytes()
189 		c += ((uint32_t)input[11]);  in efx_hash_bytes()
192 		input += 12;  in efx_hash_bytes()
198 		c += ((uint32_t)input[11]);  in efx_hash_bytes()
201 		c += ((uint32_t)input[10]) << 8;  in efx_hash_bytes()
204 		c += ((uint32_t)input[9]) << 16;  in efx_hash_bytes()
207 		c += ((uint32_t)input[8]) << 24;  in efx_hash_bytes()
210 		b += ((uint32_t)input[7]);  in efx_hash_bytes()
213 		b += ((uint32_t)input[6]) << 8;  in efx_hash_bytes()
216 		b += ((uint32_t)input[5]) << 16;  in efx_hash_bytes()
219 		b += ((uint32_t)input[4]) << 24;  in efx_hash_bytes()
222 		a += ((uint32_t)input[3]);  in efx_hash_bytes()
225 		a += ((uint32_t)input[2]) << 8;  in efx_hash_bytes()
228 		a += ((uint32_t)input[1]) << 16;  in efx_hash_bytes()
231 		a += ((uint32_t)input[0]) << 24;  in efx_hash_bytes()
248 	__in_ecount(length)	uint8_t const *input,  in efx_hash_bytes()
261 		a += ((uint32_t)input[0]);  in efx_hash_bytes()
262 		a += ((uint32_t)input[1]) << 8;  in efx_hash_bytes()
263 		a += ((uint32_t)input[2]) << 16;  in efx_hash_bytes()
264 		a += ((uint32_t)input[3]) << 24;  in efx_hash_bytes()
265 		b += ((uint32_t)input[4]);  in efx_hash_bytes()
266 		b += ((uint32_t)input[5]) << 8;  in efx_hash_bytes()
267 		b += ((uint32_t)input[6]) << 16;  in efx_hash_bytes()
268 		b += ((uint32_t)input[7]) << 24;  in efx_hash_bytes()
269 		c += ((uint32_t)input[8]);  in efx_hash_bytes()
270 		c += ((uint32_t)input[9]) << 8;  in efx_hash_bytes()
271 		c += ((uint32_t)input[10]) << 16;  in efx_hash_bytes()
272 		c += ((uint32_t)input[11]) << 24;  in efx_hash_bytes()
275 		input += 12;  in efx_hash_bytes()
281 		c += ((uint32_t)input[11]) << 24;  in efx_hash_bytes()
284 		c += ((uint32_t)input[10]) << 16;  in efx_hash_bytes()
287 		c += ((uint32_t)input[9]) << 8;  in efx_hash_bytes()
290 		c += ((uint32_t)input[8]);  in efx_hash_bytes()
293 		b += ((uint32_t)input[7]) << 24;  in efx_hash_bytes()
296 		b += ((uint32_t)input[6]) << 16;  in efx_hash_bytes()
299 		b += ((uint32_t)input[5]) << 8;  in efx_hash_bytes()
302 		b += ((uint32_t)input[4]);  in efx_hash_bytes()
305 		a += ((uint32_t)input[3]) << 24;  in efx_hash_bytes()
308 		a += ((uint32_t)input[2]) << 16;  in efx_hash_bytes()
311 		a += ((uint32_t)input[1]) << 8;  in efx_hash_bytes()
314 		a += ((uint32_t)input[0]);  in efx_hash_bytes()