Fix non-debug build.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/common/sched_bvt.c b/xen/common/sched_bvt.c
index 0a0f30d1a3e12714643fb5731f43c254d6b33b8f..df329dd982f89578be149dc45ac9d9f80434658f 100644 (file)
--- a/xen/common/sched_bvt.c
+++ b/xen/common/sched_bvt.c
@@ -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 )
     {