Re: [Xen-devel] [PATCH] Mini-os get_current() fixup

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxxx>]

Samuel Thibault, le Mon 15 Oct 2007 17:23:32 +0100, a écrit :
> 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
> 
> 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

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel