From: Ben Pfaff Date: Wed, 5 Apr 2006 19:36:53 +0000 (+0000) Subject: Clarify page fault handler for get/put_user(). X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c226f6e2ff058108a24b6879489bcdc930681a82;p=pintos-anon Clarify page fault handler for get/put_user(). Thanks to Poornima Vijayashanker for question. --- diff --git a/doc/userprog.texi b/doc/userprog.texi index 59b198a..d5eee6d 100644 --- a/doc/userprog.texi +++ b/doc/userprog.texi @@ -442,8 +442,8 @@ static inline bool put_user (uint8_t *udst, uint8_t byte) { Each of these functions assumes that the user address has already been verified to be below @code{PHYS_BASE}. They also assume that you've -modified @func{page_fault} so that a page fault in the kernel causes -@code{eax} to be set to 0 and its former value copied into @code{eip}. +modified @func{page_fault} so that a page fault in the kernel merely sets +@code{eax} to 0 and copies its former value into @code{eip}. @node Project 2 Suggested Order of Implementation @section Suggested Order of Implementation