diff -r 19549b9766fd xen/arch/x86/domain.c
--- a/xen/arch/x86/domain.c	Tue Oct 28 11:25:20 2008 +0000
+++ b/xen/arch/x86/domain.c	Wed Oct 29 10:59:09 2008 +0100
@@ -174,7 +174,7 @@
 
 static int setup_compat_l4(struct vcpu *v)
 {
-    struct page_info *pg = alloc_domheap_page(NULL, 0);
+    struct page_info *pg = alloc_domheap_page(v->domain, 0);
     l4_pgentry_t *l4tab;
 
     if ( pg == NULL )