K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2012-08-18T23:28:34.914587Z
K 7
svn:log
V 165
Use pmap_kextract(x) rather than pmap_extract(kernel_pmap, x). The
former knows about all the special mappings, like PBVM. The kernel
text and data are in the PBVM.

END