kern/thread: improve thread_wakeup robustness

1 files changed, 2 insertions, 1 deletions

diff --git a/kern/thread.h b/kern/thread.h
index e348fe39..144735d5 100644
--- a/kern/thread.h
+++ b/kern/thread.h
@@ -219,7 +219,8 @@ void thread_sleep(struct spinlock *interlock, const void *wchan_addr,
 /*
  * Schedule a thread for execution on a processor.
  *
- * No action is performed if the target thread is already in the running state.
+ * No action is performed if the target thread is NULL, the calling thread,
+ * or already in the running state.
  */
 void thread_wakeup(struct thread *thread);