ia64/xen-unstable

changeset 1572:9078dae95f8b

bitkeeper revision 1.1011.1.4 (40db0dad1EoVdz5CsMKfYtUVcwzlpQ)

Fix bad debug assertion
author kaf24@scramble.cl.cam.ac.uk
date Thu Jun 24 17:21:49 2004 +0000 (2004-06-24)
parents f8a6be024808
children 85e28c751a9e
files xen/include/xen/sched.h
line diff
     1.1 --- a/xen/include/xen/sched.h	Thu Jun 24 15:03:42 2004 +0000
     1.2 +++ b/xen/include/xen/sched.h	Thu Jun 24 17:21:49 2004 +0000
     1.3 @@ -293,7 +293,6 @@ static inline void domain_pause_by_syste
     1.4  
     1.5  static inline void domain_unpause_by_systemcontroller(struct domain *d)
     1.6  {
     1.7 -    ASSERT(d != current);
     1.8      if ( test_and_clear_bit(DF_CTRLPAUSE, &d->flags) )
     1.9          domain_wake(d);
    1.10  }