From: kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Date: Fri, 13 Jan 2006 10:38:33 +0000 (+0100)
Subject: Fix non-debug build.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~16541^2~49
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=4c1b84163ec5c7f7fdb02290aa686a456cc8ec72;p=xen.git

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 0a0f30d1a3..df329dd982 100644
--- 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 )
     {