#include <linux/kernel.h>

void mix_rotxor64(u32 h[4], const u32 v[4])
{
	u64 *h64 = (u64 *)h;
	const u64 *v64 = (const u64 *)v;

	h64[0] = ror64(h64[0], 19) ^ v64[0];
	h64[1] = ror64(h64[1], 19) ^ v64[1];
}