jhb 47d8edd4b1 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
..
acpica	Merge ACPICA 20150619.	2015-06-18 23:14:45 +00:00
bios
cpufreq
include	Fix more style issues.	2015-08-05 17:21:42 +00:00
iommu	Typo in comment.	2015-07-20 19:51:41 +00:00
isa	Set the initial system time to a sane (as in: not end of 21st century) value when	2015-06-29 17:02:09 +00:00
pci	Reassign copyright statements on several files from Advanced	2015-04-23 14:22:20 +00:00
x86	Clear the IA32_MISC_ENABLE MSR bit, which limits the max CPUID	2015-08-03 12:14:42 +00:00
xen	Remove some more vestiges of the Xen PV domu support. Specifically,	2015-08-06 17:07:21 +00:00