xentrace: TRC_SCHED_DOM_REM is defined, but never used. Use it.

Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>

diff --git a/xen/common/domain.c b/xen/common/domain.c
index b21e43f1553c956abc310767d47edaa5364655f7..187735b18ce2e24da67a873837b003841cd8fe77 100644 (file)
--- a/xen/common/domain.c
+++ b/xen/common/domain.c
@@ -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,7 @@ void domain_destroy(struct domain *d)
         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 )