projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
468f548
)
Formatting.
author
Ben Pfaff
<blp@cs.stanford.edu>
Thu, 18 May 2006 19:08:17 +0000
(19:08 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Thu, 18 May 2006 19:08:17 +0000
(19:08 +0000)
src/userprog/process.c
patch
|
blob
|
history
diff --git
a/src/userprog/process.c
b/src/userprog/process.c
index 2207a3d1614787e73237b74256796417dbaa33c3..8f5aa59d5c7ff57b70916407f3fc43b7f5edbbc5 100644
(file)
--- a/
src/userprog/process.c
+++ b/
src/userprog/process.c
@@
-380,8
+380,7
@@
validate_segment (const struct Elf32_Phdr *phdr, struct file *file)
or disk read error occurs. */
static bool
load_segment (struct file *file, off_t ofs, uint8_t *upage,
- uint32_t read_bytes, uint32_t zero_bytes,
- bool writable)
+ uint32_t read_bytes, uint32_t zero_bytes, bool writable)
{
ASSERT ((read_bytes + zero_bytes) % PGSIZE == 0);
ASSERT (pg_ofs (upage) == 0);