1 files changed, 8 insertions, 0 deletions
diff --git a/kern/thread.h b/kern/thread.h
index a1b33ac2..43a98e87 100644
--- a/kern/thread.h
+++ b/kern/thread.h
@@ -733,6 +733,14 @@ thread_get_specific(unsigned int key)
 }
 
 /*
+ * Return true if the given thread is running.
+ *
+ * Note that this check is speculative, and may not return an accurate
+ * result. It may only be used for optimistic optimizations.
+ */
+bool thread_is_running(const struct thread *thread);
+
+/*
  * This init operation provides :
  *  - a dummy thread context for the BSP, allowing the use of thread_self()
  */