#include <asm/hvm/hvm.h>
#include <asm/hvm/nestedhvm.h>
#include <asm/hvm/svm/svm.h>
+#include <asm/hvm/viridian.h>
#include <asm/hvm/vmx/vmcs.h>
#include <asm/paging.h>
#include <asm/processor.h>
#include <asm/hvm/nestedhvm.h>
#include <asm/hvm/monitor.h>
#include <asm/hvm/ioreq.h>
+#include <asm/hvm/viridian.h>
#include <asm/hvm/vm_event.h>
#include <asm/altp2m.h>
#include <asm/mtrr.h>
#include <xen/nospec.h>
#include <asm/hvm/support.h>
+#include <asm/hvm/viridian.h>
#include <public/hvm/hvm_op.h>
#include <public/hvm/params.h>
#define X86_HVM_VIRIDIAN_PRIVATE_H
#include <asm/hvm/save.h>
+#include <asm/hvm/viridian.h>
#include <public/hvm/params.h>
int viridian_synic_wrmsr(struct vcpu *v, uint32_t idx, uint64_t val);
#include <xen/sched.h>
#include <asm/debugreg.h>
+#include <asm/hvm/viridian.h>
#include <asm/msr.h>
#include <asm/setup.h>
#define __ASM_X86_HVM_VCPU_H__
#include <xen/tasklet.h>
-#include <asm/hvm/io.h>
#include <asm/hvm/vlapic.h>
-#include <asm/hvm/viridian.h>
#include <asm/hvm/vmx/vmcs.h>
#include <asm/hvm/vmx/vvmx.h>
#include <asm/hvm/svm/vmcb.h>