arm: enable data-cache at the same time as enabling the MMU, not before
authorIan Campbell <ian.campbell@citrix.com>
Tue, 3 Jul 2012 09:52:26 +0000 (10:52 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 3 Jul 2012 09:52:26 +0000 (10:52 +0100)
commit9e8c4fd70735e29a0b318c172356bda8abd92b2f
tree91ce137c65fbd3a9298d3f4b03d2a39a19227be1
parent48ffc44d6467a52b9eb582923a022cfe66bad4c4
arm: enable data-cache at the same time as enabling the MMU, not before

With enough warnings enabled the model seemed to be complaining that pages
cached before paging was enabled had been mapped with to inconsistent sets of
attributes. I'm not convinced that isn't a model issue, nor am I convinced
this has really fixed anything, but it seems sensible enough.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/head.S