1 files changed, 8 insertions, 0 deletions
diff --git a/kern/thread.h b/kern/thread.h
index 38ee29b3..5b5729ce 100644
--- a/kern/thread.h
+++ b/kern/thread.h
@@ -712,6 +712,14 @@ thread_get_specific(unsigned int key)
     return thread_tsd_get(thread_self(), key);
 }
 
+#ifdef CONFIG_PERFMON
+static inline struct perfmon_td *
+thread_get_perfmon_td(struct thread *thread)
+{
+    return &thread->perfmon_td;
+}
+#endif /* CONFIG_PERFMON */
+
 /*
  * Return the last CPU on which the thread has been scheduled.
  *