Mailing List Archive

# HG changeset patch
# User kaf24@firebug.cl.cam.ac.uk
# Node ID ec4ef8c5f04d9fef83acf5281a432a7821906520
# Parent cc2f35c83b4cbc48e540ddb2e36571ed05917b93
Fix non-debug build.

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

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@lists.xensource.com
http://lists.xensource.com/xen-changelog