Fix non-debug build.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 13 Jan 2006 10:38:33 +0000 (11:38 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 13 Jan 2006 10:38:33 +0000 (11:38 +0100)
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/common/sched_bvt.c

index 0a0f30d1a3e12714643fb5731f43c254d6b33b8f..df329dd982f89578be149dc45ac9d9f80434658f 100644 (file)
@@ -207,12 +207,8 @@ static int bvt_alloc_task(struct vcpu *v)
  */
 static void bvt_add_task(struct vcpu *v) 
 {
-    struct bvt_dom_info *inf = BVT_INFO(v->domain);
     struct bvt_vcpu_info *einf = EBVT_INFO(v);
 
-    ASSERT(inf != NULL);
-    ASSERT(v   != NULL);
-
     /* Allocate per-CPU context if this is the first domain to be added. */
     if ( CPU_INFO(v->processor) == NULL )
     {