diff options
Diffstat (limited to 'sys/amd64/vmm/intel/vmcs.c')
| -rw-r--r-- | sys/amd64/vmm/intel/vmcs.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/sys/amd64/vmm/intel/vmcs.c b/sys/amd64/vmm/intel/vmcs.c index f8b3f95..5b30acc 100644 --- a/sys/amd64/vmm/intel/vmcs.c +++ b/sys/amd64/vmm/intel/vmcs.c @@ -39,8 +39,6 @@ __FBSDID("$FreeBSD$"); #include <vm/pmap.h> #include <machine/segments.h> -#include <machine/pmap.h> - #include <machine/vmm.h> #include "vmm_host.h" #include "vmcs.h" |
