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