From 92ff5e5bfb4b3cca97831c9db2df85e24b5f7c8b Mon Sep 17 00:00:00 2001
From: jhb <jhb@FreeBSD.org>
Date: Sun, 23 Feb 2014 01:34:40 +0000
Subject: MFC 259542: Use vmcs_read() and vmcs_write() in preference to
 vmread() and vmwrite() respectively. The vmcs_xxx() functions provide inline
 error checking of all accesses to the VMCS.

---
 sys/amd64/vmm/intel/vmx_genassym.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sys/amd64/vmm/intel/vmx_genassym.c')

diff --git a/sys/amd64/vmm/intel/vmx_genassym.c b/sys/amd64/vmm/intel/vmx_genassym.c
index 8775f50..4f39ef9 100644
--- a/sys/amd64/vmm/intel/vmx_genassym.c
+++ b/sys/amd64/vmm/intel/vmx_genassym.c
@@ -39,8 +39,8 @@ __FBSDID("$FreeBSD$");
 #include <vm/pmap.h>
 
 #include <machine/vmm.h>
-#include "vmx.h"
 #include "vmx_cpufunc.h"
+#include "vmx.h"
 
 ASSYM(VMXCTX_TMPSTKTOP, offsetof(struct vmxctx, tmpstktop));
 ASSYM(VMXCTX_GUEST_RDI, offsetof(struct vmxctx, guest_rdi));
-- 
cgit v1.1