K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2004-12-21T19:25:56.000000Z
K 7
svn:log
V 154
Use vtopde() instead of pmap_pde() in pmap_kextract(); vtopde() is smaller
and faster in cases, such as pmap_kextract(), where the pde is known to
exist.

END