Andrew Turner 89184254a4 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.
2014-10-16 13:49:54 +00:00
..
2014-07-23 15:12:17 +00:00
2014-05-15 15:22:32 +00:00
2014-07-07 00:27:09 +00:00
2014-08-18 14:23:07 +00:00
2014-07-24 01:38:11 +00:00
2014-07-07 00:27:09 +00:00