137a138,140
>
> Fault setCp15Register(uint32_t &Rd, int CRn, int opc1, int CRm, int opc2);
> Fault readCp15Register(uint32_t &Rd, int CRn, int opc1, int CRm, int opc2);