From owner-freebsd-arm@FreeBSD.ORG  Wed Mar 25 16:33:01 2009
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 96C9C1065680
	for <freebsd-arm@freebsd.org>; Wed, 25 Mar 2009 16:33:01 +0000 (UTC)
	(envelope-from tinguely@casselton.net)
Received: from casselton.net (casselton.net [63.165.140.2])
	by mx1.freebsd.org (Postfix) with ESMTP id 5614A8FC14
	for <freebsd-arm@freebsd.org>; Wed, 25 Mar 2009 16:33:01 +0000 (UTC)
	(envelope-from tinguely@casselton.net)
Received: from casselton.net (localhost [127.0.0.1])
	by casselton.net (8.14.3/8.14.3) with ESMTP id n2PGWtj3029857;
	Wed, 25 Mar 2009 11:32:55 -0500 (CDT)
	(envelope-from tinguely@casselton.net)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=casselton.net;
	s=ccnMail; t=1237998775;
	bh=lNbzTXLPgvFHi9JokyOYZiRgNpvEG2bKTkgAg+xwpEo=;
	h=Date:From:Message-Id:To:Subject:Cc:In-Reply-To;
	b=q76h/AJrfFy7VDnX9dH8lJ5YVMjfW2NiZO9Phfdz8MCXdr8/UypSwwArOUrU6lqT0
	rUke4+AlfrPYEiGgZpiZJPMgvZyl7gwrGZPDQpAq/aVLaJoWB+8WCzv+xDFO8uW1F8
	9SwEd3BkEHM/ffCkQtVnc+rGnMehBc7UFLq/8suA=
Received: (from tinguely@localhost)
	by casselton.net (8.14.3/8.14.2/Submit) id n2PGWsLw029856;
	Wed, 25 Mar 2009 11:32:54 -0500 (CDT) (envelope-from tinguely)
Date: Wed, 25 Mar 2009 11:32:54 -0500 (CDT)
From: Mark Tinguely <tinguely@casselton.net>
Message-Id: <200903251632.n2PGWsLw029856@casselton.net>
To: imp@bsdimp.com, tinguely@casselton.net
In-Reply-To: <20090324.190900.1598390393.imp@bsdimp.com>
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.1.10
	(casselton.net [127.0.0.1]); Wed, 25 Mar 2009 11:32:55 -0500 (CDT)
Cc: freebsd-arm@freebsd.org
Subject: Re: ARM atomic question
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, 25 Mar 2009 16:33:01 -0000


>  Right.  The kernel checks to see if a RAS is in flight.  If so, it
>  restores the pc to the start of the RAS.
>
>  Warner

Thank-you, I found it in the PUSHFRAMEINSVC definition. That was the piece
of the puzzle that I was missing, sorry for the noise. 

Thank-you to Grzegorz Bernacki for doing testing on the cache coherency
problem when the kernel mapped page is shared. He gave me insight to the
fact that a shared  kernel mapped page can be removed via pmap_remove_all().

--Mark.