![]() |
On 1 Mar 2006, at 15:03, Keir Fraser wrote:
xen tries to dereference a pointer it got from map_domain_page() here. Guess it points into nowhere because we are running the idle page tables, not the domain page tables at that point.Yep, that's the problem. I have an idea how to fix this. I'll get back to you.
Okay, try changeset 9025:e0f66dbe4b13 which (hopefully) fixes map_domain_page() to work properly when the guest is running on the host idle page tables.
-- Keir _______________________________________________ Xen-devel mailing list Xen-devel@xxxxxxxxxxxxxxxxxxx http://lists.xensource.com/xen-devel
|
Copyright
, Citrix Systems Inc. All rights reserved.
Legal and Privacy
|