ia64/xen-unstable

changeset 6288:56e5cf83e3af

Get rid of some annoying debug messages.

Signed-off-by: Steven Smith, sos22@cam.ac.uk
author sos22@douglas.cl.cam.ac.uk
date Fri Aug 19 13:21:02 2005 +0000 (2005-08-19)
parents 66348ff38ec1
children 3c1cd2486b7f
files linux-2.6-xen-sparse/drivers/xen/xenbus/xenbus_probe.c xen/common/event_channel.c xen/common/schedule.c
line diff
     1.1 --- a/linux-2.6-xen-sparse/drivers/xen/xenbus/xenbus_probe.c	Fri Aug 19 13:08:50 2005 +0000
     1.2 +++ b/linux-2.6-xen-sparse/drivers/xen/xenbus/xenbus_probe.c	Fri Aug 19 13:21:02 2005 +0000
     1.3 @@ -168,8 +168,6 @@ static int xenbus_dev_probe(struct devic
     1.4  	struct xenbus_driver *drv = to_xenbus_driver(_dev->driver);
     1.5  	const struct xenbus_device_id *id;
     1.6  
     1.7 -	BUG_ON(!dev->driver);
     1.8 -
     1.9  	if (!drv->probe)
    1.10  		return -ENODEV;
    1.11  
     2.1 --- a/xen/common/event_channel.c	Fri Aug 19 13:08:50 2005 +0000
     2.2 +++ b/xen/common/event_channel.c	Fri Aug 19 13:21:02 2005 +0000
     2.3 @@ -588,7 +588,6 @@ static long evtchn_bind_vcpu(evtchn_bind
     2.4      long           rc = 0;
     2.5  
     2.6      if ( (vcpu >= MAX_VIRT_CPUS) || (d->vcpu[vcpu] == NULL) ) {
     2.7 -        printf("vcpu %d bad.\n", vcpu);
     2.8          return -EINVAL;
     2.9      }
    2.10  
    2.11 @@ -596,7 +595,6 @@ static long evtchn_bind_vcpu(evtchn_bind
    2.12  
    2.13      if ( !port_is_valid(d, port) )
    2.14      {
    2.15 -        printf("port %d bad.\n", port);
    2.16          rc = -EINVAL;
    2.17          goto out;
    2.18      }
    2.19 @@ -610,7 +608,6 @@ static long evtchn_bind_vcpu(evtchn_bind
    2.20          chn->notify_vcpu_id = vcpu;
    2.21          break;
    2.22      default:
    2.23 -        printf("evtchn type %d can't be rebound.\n", chn->state);
    2.24          rc = -EINVAL;
    2.25          break;
    2.26      }
     3.1 --- a/xen/common/schedule.c	Fri Aug 19 13:08:50 2005 +0000
     3.2 +++ b/xen/common/schedule.c	Fri Aug 19 13:21:02 2005 +0000
     3.3 @@ -311,7 +311,6 @@ static long do_vcpu_pickle(int vcpu, uns
     3.4          return -ESRCH;
     3.5      /* Don't pickle vcpus which are currently running */
     3.6      if (!test_bit(_VCPUF_down, &v->vcpu_flags)) {
     3.7 -        printf("Pickling a live vcpu?\n");
     3.8          return -EBUSY;
     3.9      }
    3.10      c = xmalloc(vcpu_guest_context_t);
    3.11 @@ -367,7 +366,6 @@ long do_sched_op(unsigned long op, unsig
    3.12      case SCHEDOP_vcpu_pickle:
    3.13      {
    3.14          ret = do_vcpu_pickle((int)(op >> SCHEDOP_vcpushift), arg);
    3.15 -        printf("Pickle result %ld.\n", ret);
    3.16          break;
    3.17      }
    3.18