#include <linux/kernel.h>

void mix_rotxor32(u32 h[4], const u32 v[4])
{
	h[0] = ror32(h[0], 7) ^ v[0];
	h[1] = ror32(h[1], 7) ^ v[1];
	h[2] = ror32(h[2], 7) ^ v[2];
	h[3] = ror32(h[3], 7) ^ v[3];
}