void __mcrr(unsigned coproc, unsigned opc1, unsigned src1, unsigned src2, unsigned CRn);
__mcrr inserts a MCRR instruction. Where coproc, opc1 and Crn are compile time constants and src1, src2 are the values to write.