[Xen-changelog] Fix non-debug build.

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID ec4ef8c5f04d9fef83acf5281a432a7821906520
# Parent  cc2f35c83b4cbc48e540ddb2e36571ed05917b93
Fix non-debug build.

Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>

diff -r cc2f35c83b4c -r ec4ef8c5f04d xen/common/sched_bvt.c
--- a/xen/common/sched_bvt.c    Fri Jan 13 00:03:44 2006
+++ b/xen/common/sched_bvt.c    Fri Jan 13 10:38:33 2006
@@ -207,11 +207,7 @@
  */
 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 )

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog