diff options
| -rw-r--r-- | sys/amd64/vmm/intel/vmcs.c | 2 | ||||
| -rw-r--r-- | sys/amd64/vmm/intel/vmx.c | 1 | ||||
| -rw-r--r-- | sys/amd64/vmm/intel/vmx_genassym.c | 2 | ||||
| -rw-r--r-- | sys/amd64/vmm/intel/vtd.c | 1 | ||||
| -rw-r--r-- | sys/amd64/vmm/vmm.c | 1 | ||||
| -rw-r--r-- | sys/amd64/vmm/vmm_dev.c | 1 | ||||
| -rw-r--r-- | sys/amd64/vmm/vmm_instruction_emul.c | 1 |
7 files changed, 0 insertions, 9 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" diff --git a/sys/amd64/vmm/intel/vmx.c b/sys/amd64/vmm/intel/vmx.c index c564dcd..9071f3e 100644 --- a/sys/amd64/vmm/intel/vmx.c +++ b/sys/amd64/vmm/intel/vmx.c @@ -44,7 +44,6 @@ __FBSDID("$FreeBSD$"); #include <machine/psl.h> #include <machine/cpufunc.h> #include <machine/md_var.h> -#include <machine/pmap.h> #include <machine/segments.h> #include <machine/specialreg.h> #include <machine/vmparam.h> diff --git a/sys/amd64/vmm/intel/vmx_genassym.c b/sys/amd64/vmm/intel/vmx_genassym.c index 9dcfcfb..8775f50 100644 --- a/sys/amd64/vmm/intel/vmx_genassym.c +++ b/sys/amd64/vmm/intel/vmx_genassym.c @@ -38,8 +38,6 @@ __FBSDID("$FreeBSD$"); #include <vm/vm.h> #include <vm/pmap.h> -#include <machine/pmap.h> - #include <machine/vmm.h> #include "vmx.h" #include "vmx_cpufunc.h" diff --git a/sys/amd64/vmm/intel/vtd.c b/sys/amd64/vmm/intel/vtd.c index a8f85c3..ca76ea8 100644 --- a/sys/amd64/vmm/intel/vtd.c +++ b/sys/amd64/vmm/intel/vtd.c @@ -39,7 +39,6 @@ __FBSDID("$FreeBSD$"); #include <dev/pci/pcireg.h> -#include <machine/pmap.h> #include <machine/vmparam.h> #include <contrib/dev/acpica/include/acpi.h> diff --git a/sys/amd64/vmm/vmm.c b/sys/amd64/vmm/vmm.c index da71f56..8cbd679 100644 --- a/sys/amd64/vmm/vmm.c +++ b/sys/amd64/vmm/vmm.c @@ -57,7 +57,6 @@ __FBSDID("$FreeBSD$"); #include <machine/pcb.h> #include <machine/smp.h> #include <x86/apicreg.h> -#include <machine/pmap.h> #include <machine/vmparam.h> #include <machine/vmm.h> diff --git a/sys/amd64/vmm/vmm_dev.c b/sys/amd64/vmm/vmm_dev.c index a173de2..f248f68 100644 --- a/sys/amd64/vmm/vmm_dev.c +++ b/sys/amd64/vmm/vmm_dev.c @@ -46,7 +46,6 @@ __FBSDID("$FreeBSD$"); #include <vm/pmap.h> #include <vm/vm_map.h> -#include <machine/pmap.h> #include <machine/vmparam.h> #include <machine/vmm.h> #include <machine/vmm_dev.h> diff --git a/sys/amd64/vmm/vmm_instruction_emul.c b/sys/amd64/vmm/vmm_instruction_emul.c index 2b4b59b..71d1aef 100644 --- a/sys/amd64/vmm/vmm_instruction_emul.c +++ b/sys/amd64/vmm/vmm_instruction_emul.c @@ -38,7 +38,6 @@ __FBSDID("$FreeBSD$"); #include <vm/vm.h> #include <vm/pmap.h> -#include <machine/pmap.h> #include <machine/vmparam.h> #include <machine/vmm.h> #else /* !_KERNEL */ |
