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