K 10 svn:author V 10 nwhitehorn K 8 svn:date V 27 2012-04-11T00:28:44.832661Z K 7 svn:log V 219 MFC r233948: Give the kernel pmap lock a different name than user pmap locks. It has (slightly) different semantics and renaming it prevents a (harmless) WITNESS warning during bootup for 32-bit kernels on 64-bit CPUs. END