projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7a336b4
)
Add clarifying comment.
author
Ben Pfaff
<blp@cs.stanford.edu>
Wed, 4 Jan 2006 20:08:04 +0000
(20:08 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Wed, 4 Jan 2006 20:08:04 +0000
(20:08 +0000)
Via Bruce Schechter.
src/userprog/process.c
patch
|
blob
|
history
diff --git
a/src/userprog/process.c
b/src/userprog/process.c
index 6150a06d640add8ccc65e097ac1c87bf6c6bf701..a81ca590fea187321197c699950df0e38cdbc40f 100644
(file)
--- 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
}
/* 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)
{
static bool
install_page (void *upage, void *kpage)
{