From 6522eccbdf1e2cd72596edc0c641bd25e4d27f9d Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 5 Apr 2006 19:36:53 +0000 Subject: [PATCH] Clarify page fault handler for get/put_user(). Thanks to Poornima Vijayashanker for question. --- doc/userprog.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.30.2