93,95c93,98
< default: decode HTOPCODE_4 {
< 0x0: WarnUnimpl::mcr(); // mcr2
< 0x1: WarnUnimpl::mrc(); // mrc2
---
> default: decode CPNUM {
> 15: McrMrc15::mcrMrc15();
> default: decode HTOPCODE_4 {
> 0x0: WarnUnimpl::mcr();
> 0x1: WarnUnimpl::mrc();
> }
158,160c161,166
< default: decode HTOPCODE_4 {
< 0x0: WarnUnimpl::mcr(); // mcr2
< 0x1: WarnUnimpl::mrc(); // mrc2
---
> default: decode CPNUM {
> 15: McrMrc15::mcr2Mrc215();
> default: decode HTOPCODE_4 {
> 0x0: WarnUnimpl::mcr2();
> 0x1: WarnUnimpl::mrc2();
> }