1.1 --- a/xen/common/domain.c	Wed Mar 11 10:05:00 2009 +0000
     1.2 +++ b/xen/common/domain.c	Wed Mar 11 10:07:06 2009 +0000
     1.3 @@ -30,6 +30,7 @@
     1.4  #include <public/sched.h>
     1.5  #include <public/vcpu.h>
     1.6  #include <xsm/xsm.h>
     1.7 +#include <xen/trace.h>
     1.8  
     1.9  /* Linux config option: propageted to domain0 */
    1.10  /* xen_processor_pmbits: xen control Cx, Px, ... */
    1.11 @@ -595,6 +596,7 @@ void domain_destroy(struct domain *d)
    1.12          return;
    1.13  
    1.14      /* Delete from task list and task hashtable. */
    1.15 +    TRACE_1D(TRC_SCHED_DOM_REM, d->domain_id);
    1.16      spin_lock(&domlist_update_lock);
    1.17      pd = &domain_list;
    1.18      while ( *pd != d )