unsigned __mrc2(unsigned coproc, unsigned opc1, unsigned CRn, unsigned CRm, unsigned opc2);
__mrc2 inserts a MRC2 instruction. Where coproc, opc1, Crn, Crm and opc2 are compile time constants. __mrc2 returns the value read.