def ROR(value, amount, width):
if amount == <NUM_LIT:0>:<EOL><INDENT>return value<EOL><DEDENT>result, _ = ROR_C(value, amount, width)<EOL>return result<EOL>
The ARM ROR (rotate right) operation.

:param value: Value to shift
:type value: int or long or BitVec
:param int amount: How many bits to rotate it.
:param int width: Width of the value
:return: Resultant value
:rtype int or BitVec