K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-10-16T13:49:54.331586Z
K 7
svn:log
V 181
Fix the type of pte_pa as when it is passed into _kvm_pa2off it is either
a uint64_t or a pointer to an off_t. With it being a u_long can result in
incorrect values being returned.

END