projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9962360) | patch
active_pd() should return a virtual address. Thanks to Guy Isely
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 24 Feb 2005 22:23:50 +0000 (22:23 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 24 Feb 2005 22:23:50 +0000 (22:23 +0000)
commitb82382ed47ec31ba6fff7e368e47c0530f7e2acb
tree9dd68ae3dc3ed82c1f7417cd61829d01ed247cd3tree | snapshot
parent9962360269ff252e7d9cd42ed9b1246da3a7df94commit | diff
active_pd() should return a virtual address.  Thanks to Guy Isely
<guyi@stanford.edu> for reporting this bug.
src/userprog/pagedir.c diff | blob | history
Pintos public repository