56 	ctx->v[0] = 0x736f6d6570736575ull;  in SipHash_InitX()
57 	ctx->v[1] = 0x646f72616e646f6dull;  in SipHash_InitX()
58 	ctx->v[2] = 0x6c7967656e657261ull;  in SipHash_InitX()
59 	ctx->v[3] = 0x7465646279746573ull;  in SipHash_InitX()
73 	KASSERT(ctx->v[0] == 0x736f6d6570736575ull && ctx->initialized == 1,  in SipHash_SetKey()
79 	ctx->v[0] ^= k[0];  in SipHash_SetKey()
80 	ctx->v[1] ^= k[1];  in SipHash_SetKey()
81 	ctx->v[2] ^= k[0];  in SipHash_SetKey()
82 	ctx->v[3] ^= k[1];  in SipHash_SetKey()
104 		ctx->v[3] ^= le64toh(ctx->buf.b64);  in SipBuf()
106 		ctx->v[0] ^= le64toh(ctx->buf.b64);  in SipBuf()
144 			ctx->v[3] ^= m;  in SipHash_Update()
146 			ctx->v[0] ^= m;  in SipHash_Update()
152 			ctx->v[3] ^= m;  in SipHash_Update()
154 			ctx->v[0] ^= m;  in SipHash_Update()
184 	ctx->v[2] ^= 0xff;  in SipHash_End()
186 	r = (ctx->v[0] ^ ctx->v[1]) ^ (ctx->v[2] ^ ctx->v[3]);  in SipHash_End()
217 		ctx->v[0] += ctx->v[1];  in SipRounds()
218 		ctx->v[2] += ctx->v[3];  in SipRounds()
219 		ctx->v[1] = SIP_ROTL(ctx->v[1], 13);  in SipRounds()
220 		ctx->v[3] = SIP_ROTL(ctx->v[3], 16);  in SipRounds()
222 		ctx->v[1] ^= ctx->v[0];  in SipRounds()
223 		ctx->v[3] ^= ctx->v[2];  in SipRounds()
224 		ctx->v[0] = SIP_ROTL(ctx->v[0], 32);  in SipRounds()
226 		ctx->v[2] += ctx->v[1];  in SipRounds()
227 		ctx->v[0] += ctx->v[3];  in SipRounds()
228 		ctx->v[1] = SIP_ROTL(ctx->v[1], 17);  in SipRounds()
229 		ctx->v[3] = SIP_ROTL(ctx->v[3], 21);  in SipRounds()
231 		ctx->v[1] ^= ctx->v[2];  in SipRounds()
232 		ctx->v[3] ^= ctx->v[0];  in SipRounds()
233 		ctx->v[2] = SIP_ROTL(ctx->v[2], 32);  in SipRounds()