ia64/xen-unstable

changeset 8589:ec4ef8c5f04d

Fix non-debug build.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Fri Jan 13 11:38:33 2006 +0100 (2006-01-13)
parents cc2f35c83b4c
children 19f5ffa02154
files xen/common/sched_bvt.c
line diff
     1.1 --- a/xen/common/sched_bvt.c	Fri Jan 13 01:03:44 2006 +0100
     1.2 +++ b/xen/common/sched_bvt.c	Fri Jan 13 11:38:33 2006 +0100
     1.3 @@ -207,12 +207,8 @@ static int bvt_alloc_task(struct vcpu *v
     1.4   */
     1.5  static void bvt_add_task(struct vcpu *v) 
     1.6  {
     1.7 -    struct bvt_dom_info *inf = BVT_INFO(v->domain);
     1.8      struct bvt_vcpu_info *einf = EBVT_INFO(v);
     1.9  
    1.10 -    ASSERT(inf != NULL);
    1.11 -    ASSERT(v   != NULL);
    1.12 -
    1.13      /* Allocate per-CPU context if this is the first domain to be added. */
    1.14      if ( CPU_INFO(v->processor) == NULL )
    1.15      {