From mboxrd@z Thu Jan  1 00:00:00 1970
From: Samuel Thibault <samuel.thibault@xensource.com>
Subject: Re: [PATCH] Mini-os get_current() fixup
Date: Mon, 15 Oct 2007 17:30:58 +0100
Message-ID: <20071015163058.GC26450@implementation.uk.xensource.com>
References: <20071015162332.GB26450@implementation.uk.xensource.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable
Return-path: <xen-devel-bounces@lists.xensource.com>
Content-Disposition: inline
In-Reply-To: <20071015162332.GB26450@implementation.uk.xensource.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: xen-devel@lists.xensource.com
List-Id: xen-devel@lists.xenproject.org

Samuel Thibault, le Mon 15 Oct 2007 17:23:32 +0100, a =E9crit :
> 0x00019301 <do_page_fault+81>:  mov    $0x1,%ecx
> 0x00019306 <do_page_fault+86>:  mov    $0xffffe000,%eax
> 0x0001930b <do_page_fault+91>:  mov    %ecx,0x32980
> 0x00019311 <do_page_fault+97>:  and    %esp,%edx
> 0x00019313 <do_page_fault+99>:  mov    (%edx),%ecx
> 0x00019315 <do_page_fault+101>: mov    (%ecx),%eax
>=20
> Which is supposed to approximately correspond to get_current(). It
> happens that %edx is never set to 0xfffff000. The attached patch fixes

(I meant 0xffffe000 of course)

Samuel