1 files changed, 4 insertions, 0 deletions
diff --git a/kern/thread.h b/kern/thread.h
index 8084c114..58322bda 100644
--- a/kern/thread.h
+++ b/kern/thread.h
@@ -228,6 +228,8 @@ int thread_timedsleep(struct spinlock *interlock, const void *wchan_addr,
  *
  * If the target thread is NULL, the calling thread, or already in the
  * running state, no action is performed and ERROR_INVAL is returned.
+ *
+ * TODO Describe memory ordering with regard to thread_sleep().
  */
 int thread_wakeup(struct thread *thread);
 
@@ -249,6 +251,8 @@ noreturn void thread_run_scheduler(void);
  * This call does nothing if preemption is disabled, or the scheduler
  * determines the caller should continue to run (e.g. it's currently the only
  * runnable thread).
+ *
+ * Implies a full memory barrier if a context switch occurred.
  */
 void thread_yield(void);