Clarifying comment.

diff --git a/src/threads/thread.c b/src/threads/thread.c
index dc23efb4b2dfb3bb608084940991a3c916d50ae6..196ffafcf7276315f8d861244f0801cc45c31622 100644 (file)
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -96,7 +96,8 @@ thread_start (void)
   intr_enable ();
 }
 
-/* Called by the timer interrupt handler at each timer tick. */
+/* Called by the timer interrupt handler at each timer tick.
+   Thus, this function runs in an external interrupt context. */
 void
 thread_tick (void) 
 {