X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fthreads%2Fthread.c;fp=src%2Fthreads%2Fthread.c;h=196ffafcf7276315f8d861244f0801cc45c31622;hb=c857466921e6d81f546c3e2c03c85f9c98e648ab;hp=dc23efb4b2dfb3bb608084940991a3c916d50ae6;hpb=846a228b99fcfe6be6c960724fd1887fea00f8fe;p=pintos-anon

diff --git a/src/threads/thread.c b/src/threads/thread.c
index dc23efb..196ffaf 100644
--- 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) 
 {