diff -r 7e00ebe2b7fd xen/arch/x86/mm.c
--- a/xen/arch/x86/mm.c	Tue Jun 17 09:36:25 2008 +0100
+++ b/xen/arch/x86/mm.c	Tue Jun 17 14:47:01 2008 +0200
@@ -3086,7 +3086,7 @@ int do_update_va_mapping(unsigned long v
     if ( unlikely(!access_ok(va, 1) && !paging_mode_external(d)) )
         return -EINVAL;
 
-    rc = xsm_update_va_mapping(current->domain, val);
+    rc = xsm_update_va_mapping(d, val);
     if ( rc )
         return rc;