K 10 svn:author V 6 marcel K 8 svn:date V 27 2013-02-26T03:39:15.656785Z K 7 svn:log V 76 MFC r239379: Use pmap_kextract(x) rather than pmap_extract(kernel_pmap, x). END