[PATCH] Updating trace buffer configuration

[Vidushi Vashishth]

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

diff --git a/linkers/rtld-trace-buffer.ini b/linkers/rtld-trace-buffer.ini
index af9fc31..ee68d55 100644
--- a/linkers/rtld-trace-buffer.ini
+++ b/linkers/rtld-trace-buffer.ini
@@ -26,6 +26,7 @@ buffer-local = " uint8_t* in;"
 header = "#include <stdint.h>"
 header = "#include <rtems.h>"
 header = "#include <rtems/rtems/tasksimpl.h>"
+header = "#include <rtems/score/threadimpl.h>"
 
 [trace-buffer-tracers]
 code = <<<CODE
@@ -84,8 +85,8 @@ 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();
-  return (tc->current_priority << 8) | tc->real_priority;
+  struct _Thread_Control* tc = _Thread_Get_executing();
+  return (_Thread_Get_priority(tc) << 8) | tc->Real_priority.priority;
 }
 
 static inline uint32_t __rtld_tbg_executing_state(void)
-- 
2.7.4