K 10 svn:author V 3 jhb K 8 svn:date V 27 2015-08-06T17:07:21.228595Z K 7 svn:log V 344 Remove some more vestiges of the Xen PV domu support. Specifically, use vtophys() directly instead of vtomach() and retire the no-longer-used headers and . Reported by: bde (stale bits in ) Reviewed by: royger (earlier version) Differential Revision: https://reviews.freebsd.org/D3266 END