1.1 --- a/xen/common/sched_bvt.c	Tue Nov 16 18:54:49 2004 +0000
     1.2 +++ b/xen/common/sched_bvt.c	Tue Nov 16 18:55:41 2004 +0000
     1.3 @@ -501,7 +501,7 @@ static task_slice_t bvt_do_schedule(s_ti
     1.4       * Work out how long 'next' can run till its evt is greater than
     1.5       * 'next_prime's evt. Take context switch allowance into account.
     1.6       */
     1.7 -    ASSERT(next_prime_inf->evt >= next_inf->evt);
     1.8 +    ASSERT(next_prime_einf->evt >= next_einf->evt);
     1.9      
    1.10      r_time = ((next_prime_einf->evt - next_einf->evt)/next_einf->inf->mcu_advance)
    1.11          + ctx_allow;