Two-level page permissions fixes
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 18 Feb 2009 01:18:31 +0000 (17:18 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 18 Feb 2009 01:18:31 +0000 (17:18 -0800)
commitb120ad1455dac7e734d383fae9edc23689e47ec1
tree3eab145323e8174d197e89bb41e552ebbc7d00c0
parente8c4c9e80f2c7a8c686477b0ddd1bfaf2174d63d
Two-level page permissions fixes

showmapping now properly considers the PDE.  PDE permissions are set
during pgdir_walks so that the userspace UVPT mapping can actually see
pages other than 'UPD'.  Added checks for permissions in check_boot.
kern/monitor.c
kern/pmap.c