jeff 124dca372e Backout r331606 until I can identify why it does not boot on some ...

machines.

2018-03-27 10:20:50 +00:00

..

hvm.c

sys/x86: further adoption of SPDX licensing ID tags.

2017-11-27 15:11:47 +00:00

pv.c

xen: fix smp boot after r328157

2018-02-15 07:23:41 +00:00

pvcpu_enum.c

sys/x86: further adoption of SPDX licensing ID tags.

2017-11-27 15:11:47 +00:00

xen_apic.c

…

xen_intr.c

Backout r331606 until I can identify why it does not boot on some

2018-03-27 10:20:50 +00:00

xen_msi.c

…

xen_nexus.c

…

xen_pci_bus.c

…

xenpv.c

xen/pv: remove the attach of the ISA bus from the Xen PV bus

2018-02-16 18:04:27 +00:00