Inline functions and assembly macros for the Redundancy Coprocessor.