91a92,93
> MISCREG_CP15DSB,
> MISCREG_CP15DMB,
141,142d142
< MISCREG_CP15DSB,
< MISCREG_CP15DMB,
163c163,164
< "cp15isb", "cpacr", "ctr", "tcmtr", "mpuir", "mpidr", "midr",
---
> "cp15isb", "cp15dsb", "cp15dmb", "cpacr",
> "ctr", "tcmtr", "mpuir", "mpidr", "midr",
172c173
< "cp15dsb", "cp15dmb", "dccmvau",
---
> "dccmvau",