John Baldwin 3c790178c5 Remove some more vestiges of the Xen PV domu support. Specifically, ... use vtophys() directly instead of vtomach() and retire the no-longer-used headers <machine/xenfunc.h> and <machine/xenvar.h>. Reported by: bde (stale bits in <machine/xenfunc.h>) Reviewed by: royger (earlier version) Differential Revision: https://reviews.freebsd.org/D3266		2015-08-06 17:07:21 +00:00
..
hypercall.h	Remove support for Xen PV domU kernels. Support for HVM domU kernels	2015-04-30 15:48:48 +00:00
synch_bitops.h
xen-os.h	Remove support for Xen PV domU kernels. Support for HVM domU kernels	2015-04-30 15:48:48 +00:00