rbit_u32:
	rbit	r0, r0
	bx	lr