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-07 00:27:09 +00:00
2011-01-23 11:08:28 +00:00
2011-01-23 11:08:28 +00:00
2011-01-23 11:08:28 +00:00
2011-01-23 11:08:28 +00:00
2014-07-07 00:27:09 +00:00
2011-01-23 11:08:28 +00:00
2011-01-23 11:08:28 +00:00
2011-01-23 11:08:28 +00:00
2010-11-07 03:26:22 +00:00
2011-01-23 11:08:28 +00:00
2014-02-12 19:22:48 +00:00