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	xen: implement the privcmd user-space device	2014-10-22 17:07:20 +00:00
synch_bitops.h
xen-os.h