Get rid of some annoying debug messages.

Signed-off-by: Steven Smith, sos22@cam.ac.uk

linux-2.6-xen-sparse/drivers/xen/xenbus/xenbus_probe.c

@@ -168,8 +168,6 @@ static int xenbus_dev_probe(struct device *_dev)
 	struct xenbus_driver *drv = to_xenbus_driver(_dev->driver);
 	const struct xenbus_device_id *id;
 
-	BUG_ON(!dev->driver);
-
 	if (!drv->probe)
 		return -ENODEV;
 

xen/common/event_channel.c

@@ -588,7 +588,6 @@ static long evtchn_bind_vcpu(evtchn_bind_vcpu_t *bind)
     long           rc = 0;
 
     if ( (vcpu >= MAX_VIRT_CPUS) || (d->vcpu[vcpu] == NULL) ) {
-        printf("vcpu %d bad.\n", vcpu);
         return -EINVAL;
     }
 
@@ -596,7 +595,6 @@ static long evtchn_bind_vcpu(evtchn_bind_vcpu_t *bind)
 
     if ( !port_is_valid(d, port) )
     {
-        printf("port %d bad.\n", port);
         rc = -EINVAL;
         goto out;
     }
@@ -610,7 +608,6 @@ static long evtchn_bind_vcpu(evtchn_bind_vcpu_t *bind)
         chn->notify_vcpu_id = vcpu;
         break;
     default:
-        printf("evtchn type %d can't be rebound.\n", chn->state);
         rc = -EINVAL;
         break;
     }

xen/common/schedule.c

@@ -311,7 +311,6 @@ static long do_vcpu_pickle(int vcpu, unsigned long arg)
         return -ESRCH;
     /* Don't pickle vcpus which are currently running */
     if (!test_bit(_VCPUF_down, &v->vcpu_flags)) {
-        printf("Pickling a live vcpu?\n");
         return -EBUSY;
     }
     c = xmalloc(vcpu_guest_context_t);
@@ -367,7 +366,6 @@ long do_sched_op(unsigned long op, unsigned long arg)
     case SCHEDOP_vcpu_pickle:
     {
         ret = do_vcpu_pickle((int)(op >> SCHEDOP_vcpushift), arg);
-        printf("Pickle result %ld.\n", ret);
         break;
     }