90 	__in_ecount(count)	uint32_t const *input,  in efx_hash_dwords()
104 		a += input[0];  in efx_hash_dwords()
105 		b += input[1];  in efx_hash_dwords()
106 		c += input[2];  in efx_hash_dwords()
110 		input += 3;  in efx_hash_dwords()
116 		c += input[2];  in efx_hash_dwords()
119 		b += input[1];  in efx_hash_dwords()
122 		a += input[0];  in efx_hash_dwords()
139 	__in_ecount(length)	uint8_t const *input,  in efx_hash_bytes()
152 		a += ((uint32_t)input[0]) << 24;  in efx_hash_bytes()
153 		a += ((uint32_t)input[1]) << 16;  in efx_hash_bytes()
154 		a += ((uint32_t)input[2]) << 8;  in efx_hash_bytes()
155 		a += ((uint32_t)input[3]);  in efx_hash_bytes()
156 		b += ((uint32_t)input[4]) << 24;  in efx_hash_bytes()
157 		b += ((uint32_t)input[5]) << 16;  in efx_hash_bytes()
158 		b += ((uint32_t)input[6]) << 8;  in efx_hash_bytes()
159 		b += ((uint32_t)input[7]);  in efx_hash_bytes()
160 		c += ((uint32_t)input[8]) << 24;  in efx_hash_bytes()
161 		c += ((uint32_t)input[9]) << 16;  in efx_hash_bytes()
162 		c += ((uint32_t)input[10]) << 8;  in efx_hash_bytes()
163 		c += ((uint32_t)input[11]);  in efx_hash_bytes()
166 		input += 12;  in efx_hash_bytes()
172 		c += ((uint32_t)input[11]);  in efx_hash_bytes()
175 		c += ((uint32_t)input[10]) << 8;  in efx_hash_bytes()
178 		c += ((uint32_t)input[9]) << 16;  in efx_hash_bytes()
181 		c += ((uint32_t)input[8]) << 24;  in efx_hash_bytes()
184 		b += ((uint32_t)input[7]);  in efx_hash_bytes()
187 		b += ((uint32_t)input[6]) << 8;  in efx_hash_bytes()
190 		b += ((uint32_t)input[5]) << 16;  in efx_hash_bytes()
193 		b += ((uint32_t)input[4]) << 24;  in efx_hash_bytes()
196 		a += ((uint32_t)input[3]);  in efx_hash_bytes()
199 		a += ((uint32_t)input[2]) << 8;  in efx_hash_bytes()
202 		a += ((uint32_t)input[1]) << 16;  in efx_hash_bytes()
205 		a += ((uint32_t)input[0]) << 24;  in efx_hash_bytes()
222 	__in_ecount(length)	uint8_t const *input,  in efx_hash_bytes()
235 		a += ((uint32_t)input[0]);  in efx_hash_bytes()
236 		a += ((uint32_t)input[1]) << 8;  in efx_hash_bytes()
237 		a += ((uint32_t)input[2]) << 16;  in efx_hash_bytes()
238 		a += ((uint32_t)input[3]) << 24;  in efx_hash_bytes()
239 		b += ((uint32_t)input[4]);  in efx_hash_bytes()
240 		b += ((uint32_t)input[5]) << 8;  in efx_hash_bytes()
241 		b += ((uint32_t)input[6]) << 16;  in efx_hash_bytes()
242 		b += ((uint32_t)input[7]) << 24;  in efx_hash_bytes()
243 		c += ((uint32_t)input[8]);  in efx_hash_bytes()
244 		c += ((uint32_t)input[9]) << 8;  in efx_hash_bytes()
245 		c += ((uint32_t)input[10]) << 16;  in efx_hash_bytes()
246 		c += ((uint32_t)input[11]) << 24;  in efx_hash_bytes()
249 		input += 12;  in efx_hash_bytes()
255 		c += ((uint32_t)input[11]) << 24;  in efx_hash_bytes()
258 		c += ((uint32_t)input[10]) << 16;  in efx_hash_bytes()
261 		c += ((uint32_t)input[9]) << 8;  in efx_hash_bytes()
264 		c += ((uint32_t)input[8]);  in efx_hash_bytes()
267 		b += ((uint32_t)input[7]) << 24;  in efx_hash_bytes()
270 		b += ((uint32_t)input[6]) << 16;  in efx_hash_bytes()
273 		b += ((uint32_t)input[5]) << 8;  in efx_hash_bytes()
276 		b += ((uint32_t)input[4]);  in efx_hash_bytes()
279 		a += ((uint32_t)input[3]) << 24;  in efx_hash_bytes()
282 		a += ((uint32_t)input[2]) << 16;  in efx_hash_bytes()
285 		a += ((uint32_t)input[1]) << 8;  in efx_hash_bytes()
288 		a += ((uint32_t)input[0]);  in efx_hash_bytes()