stubdom: drop debugging message

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>

diff --git a/tools/libxc/xc_minios.c b/tools/libxc/xc_minios.c
index b1b3c09a480522d382554fd94e15fb6d204d0fca..be81c15ee17e23533c7f4f7e0d8535ad51c1256f 100644 (file)
--- a/tools/libxc/xc_minios.c
+++ b/tools/libxc/xc_minios.c
@@ -64,7 +64,6 @@ void *xc_map_foreign_range(int xc_handle, uint32_t dom,
                            unsigned long mfn)
 {
     unsigned long pt_prot = 0;
-    printf("xc_map_foreign_range(%lx, %d)\n", mfn, size);
 #ifdef __ia64__
     /* TODO */
 #else