void __mcr2(unsigned coproc, unsigned opc1, unsigned src, unsigned CRn, unsigned CRm, unsigned opc2);
__mcr2 inserts a MCR2 instruction. Where coproc, opc1, Crn, Crm and opc2 are compile time constants and src is the value to write.