K 10 svn:author V 3 alc K 8 svn:date V 27 2010-10-15T15:23:34.704960Z K 7 svn:log V 284 Update pmap_extract() to handle 1GB page mappings. Some device drivers use pmap_extract() rather than pmap_kextract() on direct map addresses. Thus, pmap_extract() needs to be able to deal with 1GB page mappings if we are to use 1GB page mappings for the direct map. (See r197580.) END