void __mrrc(unsigned coproc, unsigned opc1, unsigned *dst1, unsigned *dst2, unsigned CRn);
__mrrc inserts a MRRC instruction. Where coproc, opc1 and Crn are compile time constants and dst1, dst2 are the values read.