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      {