ia64/xen-unstable

changeset 3767:e1c1afb7b55b

bitkeeper revision 1.1165 (420b922egKp-aJPtYkOkWGp2ZSNQAA)

Get rid of some annoying debug.
author sos22@douglas.cl.cam.ac.uk
date Thu Feb 10 16:56:14 2005 +0000 (2005-02-10)
parents fce6e23328ed
children 523d096fe965
files xen/arch/x86/cdb.c
line diff
     1.1 --- a/xen/arch/x86/cdb.c	Thu Feb 10 16:49:23 2005 +0000
     1.2 +++ b/xen/arch/x86/cdb.c	Thu Feb 10 16:56:14 2005 +0000
     1.3 @@ -50,7 +50,6 @@ dbg_copy_from_user(void *dest, const voi
     1.4  		: "0"(len), "1"(dest), "2"(src)
     1.5  		: "memory");
     1.6  	ASSERT(!local_irq_is_enabled());
     1.7 -	printf("dbg_copy_from_user returning %d.\n", __d2);
     1.8  	return __d2;
     1.9  }
    1.10