From mboxrd@z Thu Jan 1 00:00:00 1970 From: Tim Deegan Subject: Re: [PATCH V2 28/40] arm: enable data-cache at the same time as enabling the MMU, not before Date: Thu, 28 Jun 2012 12:02:32 +0100 Message-ID: <20120628110232.GE34995@ocelot.phlegethon.org> References: <1340706574.3832.57.camel@zakaz.uk.xensource.com> <1340706604-1313-1-git-send-email-ian.campbell@citrix.com> <1340706604-1313-28-git-send-email-ian.campbell@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: Content-Disposition: inline In-Reply-To: <1340706604-1313-28-git-send-email-ian.campbell@citrix.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Ian Campbell Cc: xen-devel@lists.xen.org List-Id: xen-devel@lists.xenproject.org At 10:29 +0000 on 26 Jun (1340706592), Ian Campbell wrote: > 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 Acked-by: Tim Deegan