Do you have CONFIG_HIGHPTE=y ? It seems to be broken for me on 32 bit PAE
pv_os dom0 kernel..
CONFIG_HIGHPTE=n works for me.
He's running a 64-bit kernel, so that's a non-issue.
J
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
