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)
<guyi@stanford.edu> for reporting this bug.


No differences found