#include <xen/param.h>
#include <xen/smp.h>
#include <xen/pci.h>
+#include <xen/sched.h>
#include <xen/warning.h>
#include <asm/io.h>
#include <asm/msr.h>
#include <asm/processor.h>
#include <asm/amd.h>
-#include <asm/hvm/support.h>
#include <asm/spec_ctrl.h>
#include <asm/acpi.h>
#include <asm/apic.h>
#include <xen/init.h>
#include <xen/kernel.h>
+#include <xen/sched.h>
#include <xen/string.h>
#include <xen/bitops.h>
#include <xen/smp.h>
#include <asm/apic.h>
#include <asm/i387.h>
#include <mach_apic.h>
-#include <asm/hvm/support.h>
#include "cpu.h"
#include <asm/nmi.h>
#include <asm/p2m.h>
#include <asm/vpmu.h>
-#include <asm/hvm/support.h>
#include <asm/apic.h>
#include <irq_vectors.h>
#include <public/pmu.h>
#include <asm/msr.h>
#include <asm/msr-index.h>
#include <asm/vpmu.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/vlapic.h>
#include <asm/hvm/vmx/vmx.h>
#include <asm/hvm/vmx/vmcs.h>
#include <xen/keyhandler.h>
#include <public/xen.h>
#include <asm/shared.h>
-#include <asm/hvm/support.h>
#include <asm/apic.h>
#include <asm/io_apic.h>
#include <xen/iommu.h>
#include <asm/ldt.h>
#include <asm/hvm/hvm.h>
#include <asm/hvm/nestedhvm.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/svm/svm.h>
#include <asm/hvm/viridian.h>
#include <asm/debugreg.h>
#include <asm/irq.h>
#include <asm/hvm/emulate.h>
#include <asm/hvm/hvm.h>
-#include <asm/hvm/support.h>
#include <asm/processor.h>
#include <asm/acpi.h> /* for hvm_acpi_power_button */
#include <xen/hypercall.h> /* for arch_do_domctl */
#include <asm/time.h>
#include <asm/hvm/hvm.h>
#include <asm/hvm/io.h>
-#include <asm/hvm/support.h>
+#include <asm/hvm/save.h>
#include <asm/hvm/vpt.h>
#include <asm/current.h>
#include <asm/hvm/vpt.h>
#include <asm/hvm/io.h>
-#include <asm/hvm/support.h>
+#include <asm/hvm/save.h>
#include <asm/hvm/trace.h>
#include <asm/current.h>
#include <asm/hpet.h>
#include <asm/shadow.h>
#include <asm/p2m.h>
#include <asm/hvm/hvm.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/vpt.h>
#include <asm/hvm/vpic.h>
#include <asm/hvm/vlapic.h>
#include <xen/irq.h>
#include <xen/keyhandler.h>
#include <asm/hvm/domain.h>
-#include <asm/hvm/support.h>
+#include <asm/hvm/save.h>
#include <asm/msi.h>
#include <public/hvm/params.h>
* this program; If not, see <http://www.gnu.org/licenses/>.
*/
+#include <xen/sched.h>
#include <asm/hvm/vpt.h>
#include <asm/hvm/io.h>
-#include <asm/hvm/support.h>
+#include <asm/hvm/save.h>
#include <asm/acpi.h> /* for hvm_acpi_power_button prototype */
#include <public/hvm/params.h>
* IN THE SOFTWARE.
*/
+#include <xen/sched.h>
#include <asm/mc146818rtc.h>
#include <asm/hvm/vpt.h>
#include <asm/hvm/io.h>
-#include <asm/hvm/support.h>
+#include <asm/hvm/save.h>
#include <asm/current.h>
#include <xen/trace.h>
#include <public/hvm/params.h>
#include <xen/softirq.h>
#include <xen/version.h>
-#include <asm/hvm/support.h>
-
#include <public/hvm/save.h>
void arch_hvm_save(struct domain *d, struct hvm_save_header *hdr)
#include <xen/types.h>
#include <xen/sched.h>
#include <xen/domain_page.h>
-#include <asm/hvm/support.h>
#include <xen/numa.h>
#include <xen/paging.h>
#include <asm/msr.h>
#include <asm/hvm/emulate.h>
#include <asm/hvm/hvm.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/svm/svm.h>
#include <asm/hvm/svm/vmcb.h>
#include <asm/hvm/svm/emulate.h>
#include <asm/paging.h>
#include <asm/hvm/hvm.h>
#include <asm/hvm/io.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/vlapic.h>
#include <asm/hvm/svm/svm.h>
#include <asm/hvm/svm/intr.h>
#include <asm/hvm/svm/vmcb.h>
#include <asm/msr-index.h>
#include <asm/p2m.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/svm/svm.h>
#include <asm/hvm/svm/svmdebug.h>
#include <asm/spec_ctrl.h>
#include <asm/apic.h>
#include <asm/guest/hyperv-tlfs.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/vlapic.h>
#include "private.h"
#include <asm/event.h>
#include <asm/guest/hyperv.h>
#include <asm/guest/hyperv-tlfs.h>
-#include <asm/hvm/support.h>
#include "private.h"
#include <asm/paging.h>
#include <asm/p2m.h>
#include <asm/apic.h>
-#include <asm/hvm/support.h>
#include <public/sched.h>
#include <public/hvm/hvm_op.h>
#include <asm/msr.h>
#include <asm/hvm/hvm.h>
#include <asm/hvm/io.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/vmx/vmx.h>
#include <asm/hvm/vmx/vmcs.h>
#include <asm/hvm/vpic.h>
#include <asm/hvm/hvm.h>
#include <asm/hvm/io.h>
#include <asm/hvm/nestedhvm.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/vmx/vmx.h>
#include <asm/hvm/vmx/vvmx.h>
#include <asm/hvm/vmx/vmcs.h>
#include <asm/types.h>
#include <asm/mtrr.h>
#include <asm/p2m.h>
+#include <asm/hvm/support.h>
#include <asm/hvm/vmx/vmx.h>
#include <asm/hvm/vmx/vvmx.h>
#include <asm/hvm/nestedhvm.h>
#include <xen/trace.h>
#include <asm/hvm/hvm.h>
#include <asm/hvm/io.h>
-#include <asm/hvm/support.h>
+#include <asm/hvm/save.h>
#define vpic_domain(v) (container_of((v), struct domain, \
arch.hvm.vpic[!vpic->is_master]))
* this program; If not, see <http://www.gnu.org/licenses/>.
*/
+#include <xen/sched.h>
#include <xen/time.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/vpt.h>
#include <asm/event.h>
#include <asm/apic.h>
#include <xen/sched.h>
#include <asm/current.h>
#include <asm/processor.h>
-#include <asm/hvm/support.h>
#include <asm/i387.h>
#include <asm/xstate.h>
#include <asm/asm_defns.h>
#include <asm/regs.h>
#include <asm/asm_defns.h>
#include <asm/processor.h>
+#include <asm/p2m.h>
#include <asm/i387.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/trace.h>
#include <asm/hvm/vmx/vmcs.h>
* this program; If not, see <http://www.gnu.org/licenses/>.
*/
-#include <asm/hvm/support.h>
#include <asm/hvm/hvm.h>
#include <asm/p2m.h>
#include <asm/altp2m.h>
#include <asm/p2m.h>
#include <asm/mem_sharing.h>
#include <asm/hap.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/nestedhvm.h>
#include <asm/p2m.h>
#include <asm/mem_sharing.h>
#include <asm/hap.h>
-#include <asm/hvm/support.h>
#include <asm/hvm/nestedhvm.h>
* @author Graydon Hoare
*/
+#include <xen/sched.h>
#include <xen/types.h>
#include <asm/msr.h>
#include <asm/io.h>
#include <xen/xenoprof.h>
#include <asm/regs.h>
#include <asm/current.h>
-#include <asm/hvm/support.h>
#include <xen/pci_regs.h>
#include <xen/pci_ids.h>
#include <xen/sched.h>
#include <xen/xenoprof.h>
#include <public/xenoprof.h>
-#include <asm/hvm/support.h>
#include "op_counter.h"
#include <asm/flushtlb.h>
#include <asm/hardirq.h>
#include <asm/hpet.h>
-#include <asm/hvm/support.h>
#include <asm/setup.h>
#include <irq_vectors.h>
#include <mach_apic.h>
#include <xen/iocap.h>
#include <asm/irq.h>
#include <asm/hvm/hvm.h>
-#include <asm/hvm/support.h>
#include <asm/processor.h>
#include <asm/setup.h>
#include <asm/smp.h>
#include <asm/page.h>
#include <asm/shared.h>
#include <asm/hvm/hvm.h>
-#include <asm/hvm/support.h>
static void print_xen_info(void)
#include <xen/sched.h>
#include <asm/current.h>
#include <asm/processor.h>
-#include <asm/hvm/support.h>
#include <asm/i387.h>
#include <asm/xstate.h>
#include <asm/asm_defns.h>
#include <xen/cpu.h>
#include <xen/irq.h>
#include <asm/hvm/irq.h>
-#include <asm/hvm/support.h>
#include <asm/io_apic.h>
/*