diff --git a/xen/arch/x86/cdb.c b/xen/arch/x86/cdb.c
index 73fefeb26f..b0e8462ac6 100644
--- a/xen/arch/x86/cdb.c
+++ b/xen/arch/x86/cdb.c
@@ -50,7 +50,6 @@ dbg_copy_from_user(void *dest, const void *src, unsigned len)
 		: "0"(len), "1"(dest), "2"(src)
 		: "memory");
 	ASSERT(!local_irq_is_enabled());
-	printf("dbg_copy_from_user returning %d.\n", __d2);
 	return __d2;
 }