#include "common.h"

__attribute__((always_inline))
inline uint32_t __RBIT(uint32_t value)
{
	register uint32_t result;

	__asm__ volatile("rbit %0, %1" : "=r"(result) : "r"(value));
	return (result);
}