Add Feather-Trace x86_64 architecture dependent code

1 files changed, 1 insertions, 0 deletions

diff --git a/include/litmus/rt_domain.h b/include/litmus/rt_domain.h
index c780fdfcccae..b452be1d2256 100644
--- a/include/litmus/rt_domain.h
+++ b/include/litmus/rt_domain.h
@@ -96,6 +96,7 @@ static inline struct task_struct* __peek_ready(rt_domain_t* rt)
 
 static inline int  is_queued(struct task_struct *t)
 {
+        BUG_ON(!tsk_rt(t)->heap_node);
         return bheap_node_in_heap(tsk_rt(t)->heap_node);
 }