projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
threads: bugfix - do not call thread_current() from model-checker
[model-checker.git]
/
threads.cc
diff --git
a/threads.cc
b/threads.cc
index 9de580297871687e4529f2a67512aa6087a9cc1b..a8f282a8b32efdb96d1d248570fc8b7574af92f7 100644
(file)
--- a/
threads.cc
+++ b/
threads.cc
@@
-23,7
+23,13
@@
static void stack_free(void *stack)
snapshot_free(stack);
}
snapshot_free(stack);
}
-/** Return the currently executing thread. */
+/**
+ * @brief Get the current Thread
+ *
+ * Must be called from a user context
+ *
+ * @return The currently executing thread
+ */
Thread * thread_current(void)
{
ASSERT(model);
Thread * thread_current(void)
{
ASSERT(model);