From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 24 Mar 2007 01:04:19 +0000 (+0000)
Subject: Add helpful comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=10331698d6d43cf1bb07248d832e93b7d1170567

Add helpful comment.
From Godmar Back.
---

diff --git a/src/userprog/process.c b/src/userprog/process.c
index 6c6003c..781cc5d 100644
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -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)
 {