Add helpful comment.
[pintos-anon] / src / userprog / process.c
index 6c6003cbf0f798262e53802beae7ab02084dc093..781cc5d3fc81c9b95a65ed47b6d589c15895c91f 100644 (file)
@@ -117,7 +117,8 @@ process_exit (void)
 }
 
 /* Sets up the CPU for running user code in the current
-   thread. */
+   thread.
+   This function is called on every context switch. */
 void
 process_activate (void)
 {