K 10 svn:author V 2 dg K 8 svn:date V 27 1996-06-14T23:26:40.000000Z K 7 svn:log V 156 Move a case of PG_MAPPED being set before a pmap_enter(). This will likely make no difference, but it will make it consistent with other uses of PG_MAPPED. END