Index: xen/arch/x86/mm.c
===================================================================
--- xen.orig/arch/x86/mm.c	2005-07-07 11:00:19.000000000 +0200
+++ xen/arch/x86/mm.c	2005-07-07 15:28:49.000000000 +0200
@@ -2367,6 +2367,9 @@ int do_update_va_mapping_otherdomain(uns
         return -ESRCH;
     }
 
+    printk("%s: va 0x%lx, val64 0x%llx, flags 0x%lx, domid %d  |  this %d\n",
+           __FUNCTION__, va, val64, flags, domid,
+           current->domain->domain_id);
     rc = do_update_va_mapping(va, val64, flags);
 
     return rc;