136a137,139
> MISCREG_CTR,
> MISCREG_SCR,
> MISCREG_SDER,
138,139c141
< MISCREG_CTR = MISCREG_CP15_UNIMP_START,
< MISCREG_TCMTR,
---
> MISCREG_TCMTR = MISCREG_CP15_UNIMP_START,
162,163d163
< MISCREG_SCR,
< MISCREG_SDER,
208c208,209
< "prrr", "nmrr", "ttbcr", "id_pfr0",
---
> "prrr", "nmrr", "ttbcr", "id_pfr0", "ctr"
> "scr", "sder"
210c211
< "ctr", "tcmtr",
---
> "tcmtr",
218c219
< "scr", "sder", "nsacr",
---
> "nsacr",
255c256
< Bitfield<23> rao1;// Read as one
---
> Bitfield<23> xp; // Extended page table enable bit
266a268
> Bitfield<9,8> rs; // deprecated protection bits