/* bitrev32 - reverse the order of bits in a u32 value @x: value to be bit-reversed  */
u32 bitrev32(u32 x)
/* bitrev32 - reverse the order of bits in a u32 value @x: value to be bit-reversed  */
u32 bitrev32(u32 x)
{
	return (bitrev16(x & 0xffff) << 16) | bitrev16(x >> 16);
}