[PATCH v2] Updating trace buffer configuration

[Vidushi Vashishth]

---
 linkers/rtld-trace-buffer.ini | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/linkers/rtld-trace-buffer.ini b/linkers/rtld-trace-buffer.ini
index ee68d55..c17f2f1 100644
--- a/linkers/rtld-trace-buffer.ini
+++ b/linkers/rtld-trace-buffer.ini
@@ -27,6 +27,7 @@ header = "#include <stdint.h>"
 header = "#include <rtems.h>"
 header = "#include <rtems/rtems/tasksimpl.h>"
 header = "#include <rtems/score/threadimpl.h>"
+header = "#include <rtems/score/threadq.h>"
 
 [trace-buffer-tracers]
 code = <<<CODE
@@ -85,7 +86,7 @@ static inline uint32_t __rtld_tbg_executing_id(void)
 static inline uint32_t __rtld_tbg_executing_status(void)
 {
   /* @fixme Add the current CPU for SMP. */
-  struct _Thread_Control* tc = _Thread_Get_executing();
+  Thread_Control* tc = _Thread_Get_executing();
   return (_Thread_Get_priority(tc) << 8) | tc->Real_priority.priority;
 }
 
-- 
2.7.4