#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);
}


__attribute__((always_inline))
inline void patch_register(io32_t reg, uint32_t mask, uint32_t replacement)
{
	*reg &= ~mask;
	*reg |= replacement << __CTZ(mask);
}