projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 155aff5) | patch
Fix bug in pagedir_get_page(): didn't apply uaddr page offset to kaddr
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 20 Oct 2004 06:12:36 +0000 (06:12 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 20 Oct 2004 06:12:36 +0000 (06:12 +0000)
commitc2e63e6e7f14d2ce25791aeff2ef592a4cd51663
tree3a21d2216d381c3e97a5a7d6e3387e972cd4c92ctree | snapshot
parent155aff5bab5125c4b6f3988284966abcf74fa0f2commit | diff
Fix bug in pagedir_get_page(): didn't apply uaddr page offset to kaddr
return value (!)
src/userprog/pagedir.c diff | blob | history
Pintos public repository