projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 391d6eb) | 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)
commit20b178aeeb0e0badfd1676c7cb0db6f46bf00a39
treef3b44367f4ea8cd1f0252d37618aeb38310956d4tree | snapshot
parent391d6eb21b3341f8168be28932701bb5821b82e4commit | 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