From mboxrd@z Thu Jan  1 00:00:00 1970
From: Gerd Knorr <kraxel@bytesex.org>
Subject: Re: PAE xen + linux kernel boots ...
Date: Wed, 4 May 2005 10:03:59 +0200
Message-ID: <20050504080359.GB31923@bytesex>
References: <20050425172624.GB22076@bytesex> <87ll74o29m.fsf@bytesex.org>
	<20050430090117.GC16883@us.ibm.com>
	<20050430095123.GE16883@us.ibm.com>
	<882ab72161e92b3470da1a3ce14b7a3b@cl.cam.ac.uk>
	<20050501081207.GF16883@us.ibm.com>
	<20050502140304.GA15699@bytesex> <20050504022033.GC7409@us.ibm.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Return-path: <xen-devel-bounces@lists.xensource.com>
Content-Disposition: inline
In-Reply-To: <20050504022033.GC7409@us.ibm.com>
List-Unsubscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xensource.com>
List-Help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-Subscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
Sender: xen-devel-bounces@lists.xensource.com
Errors-To: xen-devel-bounces@lists.xensource.com
To: Scott Parish <srparish@us.ibm.com>
Cc: xen-devel@lists.xensource.com
List-Id: xen-devel@lists.xenproject.org

> I'm pretty sure that set_pte_atomic() should be calling the _ma version
> of pte_val; compare and note that set_pte() is doing no machine_to_phys().

Yes, you are right.  The __pte() macro used to create page table
entries does the translation, set_pte() just writes the values
and shouldn't translate anything.

Do you run a SMP kernel btw.?  That would explain why I didn't
notice that bug, I have a UP machine ...

  Gerd

-- 
#define printk(args...) fprintf(stderr, ## args)