#include <asm/mc146818rtc.h>
#include <asm/mce.h>
#include <asm/monitor.h>
+#include <asm/hvm/emulate.h>
#include <asm/hvm/hvm.h>
#include <asm/hvm/vpt.h>
#include <asm/hvm/support.h>
#include <xen/paging.h>
#include <xen/vpci.h>
+#include <asm/hvm/emulate.h>
#include <asm/hvm/hvm.h>
#include <asm/hvm/ioreq.h>
#include <asm/hvm/vmx/vmx.h>
#include <xen/lib.h>
#include <xen/trace.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 <xen/sched.h>
#include <xen/vm_event.h>
+#include <asm/hvm/emulate.h>
#include <asm/hvm/support.h>
#include <asm/vm_event.h>
*/
#include <xen/cpu.h>
-#include <xen/lib.h>
-#include <xen/kernel.h>
+#include <xen/err.h>
#include <xen/init.h>
+#include <xen/kernel.h>
+#include <xen/lib.h>
#include <xen/notifier.h>
#include <xen/param.h>
#include <xen/sched.h>
* License version 2. See file COPYING for details.
*/
-#include <xen/lib.h>
-#include <xen/kernel.h>
+#include <xen/err.h>
#include <xen/init.h>
+#include <xen/kernel.h>
+#include <xen/lib.h>
#include <xen/sched.h>
#include <xen/smp.h>
#include <xen/spinlock.h>
* 2 of the License, or (at your option) any later version.
*/
-#include <xen/lib.h>
-#include <xen/kernel.h>
+#include <xen/err.h>
#include <xen/init.h>
+#include <xen/kernel.h>
+#include <xen/lib.h>
#include <xen/sched.h>
#include <xen/smp.h>
#include <xen/spinlock.h>
#include <xen/trace.h>
#include <asm/current.h>
+#include <asm/hvm/emulate.h>
#include <asm/shadow.h>
#include "private.h"
* along with this program; If not, see <http://www.gnu.org/licenses/>.
*/
+#include <xen/err.h>
#include <xen/errno.h>
#include <xen/event.h>
#include <xen/guest_access.h>
* along with this program; If not, see <http://www.gnu.org/licenses/>.
*/
+#include <xen/err.h>
#include <xen/softirq.h>
#include <asm/io_apic.h>
#define __ASM_X86_HVM_SVM_VMCB_H__
#include <xen/types.h>
-#include <asm/hvm/emulate.h>
-
/* general 1 intercepts */
enum GenericIntercept1bits
void vmx_intr_assist(void);
void noreturn vmx_do_resume(struct vcpu *);
void vmx_vlapic_msr_changed(struct vcpu *v);
+struct hvm_emulate_ctxt;
void vmx_realmode_emulate_one(struct hvm_emulate_ctxt *hvmemul_ctxt);
void vmx_realmode(struct cpu_user_regs *regs);
void vmx_update_debug_state(struct vcpu *v);