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)
commita9ca36e41805e259c2bfc238655a9586f7efb303
treec26281b4c796b2a44ad959e8a8462873f2c2dc18
parentaec5ab9564274109b081fe803bc69259497a335d
active_pd() should return a virtual address.  Thanks to Guy Isely
<guyi@stanford.edu> for reporting this bug.
src/userprog/pagedir.c