X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fprocess.c;h=a81ca590fea187321197c699950df0e38cdbc40f;hb=bca9a904e6317709b69f64716990419034dd5be8;hp=6150a06d640add8ccc65e097ac1c87bf6c6bf701;hpb=bb15e05316dc37273c24dcda094806a0250a328b;p=pintos-anon

diff --git a/src/userprog/process.c b/src/userprog/process.c
index 6150a06..a81ca59 100644
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -386,8 +386,12 @@ setup_stack (void **esp)
 }
 
 /* Adds a mapping from user virtual address UPAGE to kernel
-   virtual address KPAGE to the page table.  Fails if UPAGE is
-   already mapped or if memory allocation fails. */
+   virtual address KPAGE to the page table.
+   UPAGE must not already be mapped.
+   KPAGE should probably be a page obtained from the user pool
+   with palloc_get_page().
+   Returns true on success, false if UPAGE is already mapped or
+   if memory allocation fails. */
 static bool
 install_page (void *upage, void *kpage)
 {