K 10 svn:author V 5 dyson K 8 svn:date V 27 1996-07-28T20:31:27.000000Z K 7 svn:log V 195 Fix a problem that pmap update was not being done for kernel_pmap. Also remove some (currently) gratuitious tests for PG_V... This bug could have caused various anomolous (temporary) behavior. END