K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2011-05-07T17:23:13.140396Z
K 7
svn:log
V 112
In pmap_kextract(), return the physical address for PBVM virtual
addresses as well (incl. the PBVM page table).

END