From owner-freebsd-arm@FreeBSD.ORG  Wed Jan 16 23:36:40 2008
Return-Path: <owner-freebsd-arm@FreeBSD.ORG>
Delivered-To: freebsd-arm@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 1D31C16A418
	for <freebsd-arm@freebsd.org>; Wed, 16 Jan 2008 23:36:40 +0000 (UTC)
	(envelope-from mlfbsd@dong.ci0.org)
Received: from dong.ci0.org (cognet.ci0.org [80.65.224.102])
	by mx1.freebsd.org (Postfix) with ESMTP id 6FBF113C46A
	for <freebsd-arm@freebsd.org>; Wed, 16 Jan 2008 23:36:39 +0000 (UTC)
	(envelope-from mlfbsd@dong.ci0.org)
Received: from dong.ci0.org (localhost.ci0.org [127.0.0.1])
	by dong.ci0.org (8.14.1/8.13.8) with ESMTP id m0H0I0d2063385;
	Thu, 17 Jan 2008 01:18:00 +0100 (CET)
	(envelope-from mlfbsd@dong.ci0.org)
Received: (from mlfbsd@localhost)
	by dong.ci0.org (8.14.1/8.13.8/Submit) id m0H0HvVo063384;
	Thu, 17 Jan 2008 01:17:57 +0100 (CET) (envelope-from mlfbsd)
Date: Thu, 17 Jan 2008 01:17:57 +0100
From: Olivier Houchard <mlfbsd@ci0.org>
To: Mark Tinguely <tinguely@casselton.net>
Message-ID: <20080117001757.GA63358@ci0.org>
References: <200801081948.m08Jmpoa006156@casselton.net>
	<200801100031.m0A0VLgC015988@casselton.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <200801100031.m0A0VLgC015988@casselton.net>
User-Agent: Mutt/1.4.1i
Cc: freebsd-arm@freebsd.org
Subject: Re: ARM pmap cache flushed after PT modification.
X-BeenThere: freebsd-arm@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Porting FreeBSD to the StrongARM Processor <freebsd-arm.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-arm>,
	<mailto:freebsd-arm-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-arm>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Help: <mailto:freebsd-arm-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-arm>,
	<mailto:freebsd-arm-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 16 Jan 2008 23:36:40 -0000

On Wed, Jan 09, 2008 at 06:31:21PM -0600, Mark Tinguely wrote:
> 
> Using the same logic that the ARM ARM for pre-ARMv6 MMUs says the
> cache has to be written back and/or invalidated before making 
> changes to page table entries; pmap_remove_all() also forces the
> page table entry to NULL and I believe needs to be invalidated.
> 

Hi Mark,

I'm not sure this is needed, because we mark the page tables as write-through.
Also, I must miss something, because I understand why we should wb after doing
the changes, but why before ?

(And no, I didn't forget you, and I'll have a look at your work soon, honest).

Regards,

Olivier