diff -r b249f3e979a5 xen/common/domain.c
--- a/xen/common/domain.c	Mon Mar 09 10:32:24 2009 +0000
+++ b/xen/common/domain.c	Mon Mar 09 15:44:07 2009 +0000
@@ -30,6 +30,7 @@
 #include <public/sched.h>
 #include <public/vcpu.h>
 #include <xsm/xsm.h>
+#include <xen/trace.h>
 
 /* Linux config option: propageted to domain0 */
 /* xen_processor_pmbits: xen control Cx, Px, ... */
@@ -595,6 +596,8 @@
         return;
 
     /* Delete from task list and task hashtable. */
+    TRACE_1D(TRC_SCHED_DOM_REM, d->domain_id);
+
     spin_lock(&domlist_update_lock);
     pd = &domain_list;
     while ( *pd != d )