__arch_bitrev32
return __arch_bitrev32((u32)x) >> 16;
return __arch_bitrev32((u32)x) >> 24;
return __arch_bitrev32((u32)x) >> 16;
return __arch_bitrev32((u32)x) >> 24;
#define __bitrev32 __arch_bitrev32