rbit_u64:
	rbit	x0, x0
	ret