Index: head/share/man/man9/bios.9
===================================================================
--- head/share/man/man9/bios.9
+++ head/share/man/man9/bios.9
@@ -38,7 +38,6 @@
 .In vm/vm.h
 .In vm/pmap.h
 .In machine/param.h
-.In machine/pmap.h
 .In machine/pc/bios.h
 .Ft uint32_t
 .Fn bios_sigsearch "uint32_t start" "u_char *sig" "int siglen" "int paralen" "int sigofs"
Index: head/sys/amd64/cloudabi64/cloudabi64_sysvec.c
===================================================================
--- head/sys/amd64/cloudabi64/cloudabi64_sysvec.c
+++ head/sys/amd64/cloudabi64/cloudabi64_sysvec.c
@@ -36,7 +36,6 @@
 
 #include <machine/frame.h>
 #include <machine/pcb.h>
-#include <machine/pmap.h>
 #include <machine/vmparam.h>
 
 #include <compat/cloudabi/cloudabi_util.h>
Index: head/sys/amd64/vmm/amd/npt.c
===================================================================
--- head/sys/amd64/vmm/amd/npt.c
+++ head/sys/amd64/vmm/amd/npt.c
@@ -36,8 +36,6 @@
 #include <vm/pmap.h>
 #include <vm/vm_extern.h>
 
-#include <machine/pmap.h>
-
 #include "npt.h"
 
 SYSCTL_DECL(_hw_vmm);
Index: head/sys/amd64/vmm/amd/svm.c
===================================================================
--- head/sys/amd64/vmm/amd/svm.c
+++ head/sys/amd64/vmm/amd/svm.c
@@ -41,7 +41,6 @@
 
 #include <machine/cpufunc.h>
 #include <machine/psl.h>
-#include <machine/pmap.h>
 #include <machine/md_var.h>
 #include <machine/specialreg.h>
 #include <machine/smp.h>
Index: head/sys/arm/annapurna/alpine/alpine_machdep.c
===================================================================
--- head/sys/arm/annapurna/alpine/alpine_machdep.c
+++ head/sys/arm/annapurna/alpine/alpine_machdep.c
@@ -42,7 +42,6 @@
 #include <machine/bus.h>
 #include <machine/frame.h> /* For trapframe_t, used in <machine/machdep.h> */
 #include <machine/machdep.h>
-#include <machine/pmap.h>
 #include <machine/devmap.h>
 #include <machine/platform.h>
 #include <machine/fdt.h>
Index: head/sys/arm/arm/mp_machdep.c
===================================================================
--- head/sys/arm/arm/mp_machdep.c
+++ head/sys/arm/arm/mp_machdep.c
@@ -50,7 +50,6 @@
 #include <machine/debug_monitor.h>
 #include <machine/smp.h>
 #include <machine/pcb.h>
-#include <machine/pmap.h>
 #include <machine/physmem.h>
 #include <machine/intr.h>
 #include <machine/vmparam.h>
Index: head/sys/arm64/arm64/minidump_machdep.c
===================================================================
--- head/sys/arm64/arm64/minidump_machdep.c
+++ head/sys/arm64/arm64/minidump_machdep.c
@@ -52,7 +52,6 @@
 #include <vm/pmap.h>
 
 #include <machine/md_var.h>
-#include <machine/pmap.h>
 #include <machine/pte.h>
 #include <machine/vmparam.h>
 #include <machine/minidump.h>
Index: head/sys/arm64/cloudabi64/cloudabi64_sysvec.c
===================================================================
--- head/sys/arm64/cloudabi64/cloudabi64_sysvec.c
+++ head/sys/arm64/cloudabi64/cloudabi64_sysvec.c
@@ -36,7 +36,6 @@
 
 #include <machine/frame.h>
 #include <machine/pcb.h>
-#include <machine/pmap.h>
 #include <machine/vmparam.h>
 
 #include <compat/cloudabi/cloudabi_util.h>
Index: head/sys/compat/linuxkpi/common/include/linux/dma-mapping.h
===================================================================
--- head/sys/compat/linuxkpi/common/include/linux/dma-mapping.h
+++ head/sys/compat/linuxkpi/common/include/linux/dma-mapping.h
@@ -47,7 +47,6 @@
 #include <vm/pmap.h>
 
 #include <machine/bus.h>
-#include <machine/pmap.h>
 
 enum dma_data_direction {
 	DMA_BIDIRECTIONAL = 0,
Index: head/sys/compat/linuxkpi/common/include/linux/list.h
===================================================================
--- head/sys/compat/linuxkpi/common/include/linux/list.h
+++ head/sys/compat/linuxkpi/common/include/linux/list.h
@@ -68,7 +68,6 @@
 #include <vm/vm.h>
 #include <vm/vm_object.h>
 #include <vm/pmap.h>
-#include <machine/pmap.h>
 
 #define	prefetch(x)
 
Index: head/sys/compat/linuxkpi/common/src/linux_compat.c
===================================================================
--- head/sys/compat/linuxkpi/common/src/linux_compat.c
+++ head/sys/compat/linuxkpi/common/src/linux_compat.c
@@ -50,7 +50,6 @@
 #include <vm/pmap.h>
 
 #include <machine/stdarg.h>
-#include <machine/pmap.h>
 
 #include <linux/kobject.h>
 #include <linux/device.h>
Index: head/sys/compat/linuxkpi/common/src/linux_pci.c
===================================================================
--- head/sys/compat/linuxkpi/common/src/linux_pci.c
+++ head/sys/compat/linuxkpi/common/src/linux_pci.c
@@ -44,7 +44,6 @@
 #include <vm/pmap.h>
 
 #include <machine/stdarg.h>
-#include <machine/pmap.h>
 
 #include <linux/kobject.h>
 #include <linux/device.h>
Index: head/sys/dev/ce/if_ce.c
===================================================================
--- head/sys/dev/ce/if_ce.c
+++ head/sys/dev/ce/if_ce.c
@@ -76,7 +76,6 @@
 #include <dev/ce/ceddk.h>
 #include <machine/cserial.h>
 #include <machine/resource.h>
-#include <machine/pmap.h>
 
 /* If we don't have Cronyx's sppp version, we don't have fr support via sppp */
 #ifndef PP_FR
Index: head/sys/dev/cp/if_cp.c
===================================================================
--- head/sys/dev/cp/if_cp.c
+++ head/sys/dev/cp/if_cp.c
@@ -67,7 +67,6 @@
 #include <dev/cp/cpddk.h>
 #include <machine/cserial.h>
 #include <machine/resource.h>
-#include <machine/pmap.h>
 
 /* If we don't have Cronyx's sppp version, we don't have fr support via sppp */
 #ifndef PP_FR
Index: head/sys/dev/drm/drmP.h
===================================================================
--- head/sys/dev/drm/drmP.h
+++ head/sys/dev/drm/drmP.h
@@ -76,7 +76,6 @@
 #include <vm/vm_param.h>
 #include <vm/vm_phys.h>
 #include <machine/param.h>
-#include <machine/pmap.h>
 #include <machine/bus.h>
 #include <machine/resource.h>
 #if defined(__i386__) || defined(__amd64__)
Index: head/sys/dev/drm2/drmP.h
===================================================================
--- head/sys/dev/drm2/drmP.h
+++ head/sys/dev/drm2/drmP.h
@@ -77,7 +77,6 @@
 #include <vm/vm_param.h>
 #include <vm/vm_phys.h>
 #include <machine/param.h>
-#include <machine/pmap.h>
 #include <machine/bus.h>
 #include <machine/resource.h>
 #if defined(__i386__) || defined(__amd64__)
Index: head/sys/dev/fb/machfb.c
===================================================================
--- head/sys/dev/fb/machfb.c
+++ head/sys/dev/fb/machfb.c
@@ -56,7 +56,6 @@
 #include <machine/bus.h>
 #include <machine/bus_private.h>
 #include <machine/ofw_machdep.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 #include <machine/sc_machdep.h>
 
Index: head/sys/dev/isci/isci_oem_parameters.c
===================================================================
--- head/sys/dev/isci/isci_oem_parameters.c
+++ head/sys/dev/isci/isci_oem_parameters.c
@@ -34,7 +34,6 @@
 #include <dev/isci/isci.h>
 #include <vm/vm.h>
 #include <vm/pmap.h>
-#include <machine/pmap.h>
 #include <machine/vmparam.h>
 #include <machine/pc/bios.h>
 #include <dev/isci/scil/scu_bios_definitions.h>
Index: head/sys/dev/ntb/if_ntb/if_ntb.c
===================================================================
--- head/sys/dev/ntb/if_ntb/if_ntb.c
+++ head/sys/dev/ntb/if_ntb/if_ntb.c
@@ -57,7 +57,6 @@
 
 #include <machine/bus.h>
 #include <machine/cpufunc.h>
-#include <machine/pmap.h>
 
 #include <netinet/in.h>
 #include <netinet/ip.h>
Index: head/sys/dev/ntb/ntb_hw/ntb_hw.c
===================================================================
--- head/sys/dev/ntb/ntb_hw/ntb_hw.c
+++ head/sys/dev/ntb/ntb_hw/ntb_hw.c
@@ -45,7 +45,6 @@
 #include <vm/pmap.h>
 #include <machine/bus.h>
 #include <machine/intr_machdep.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 #include <dev/pci/pcireg.h>
 #include <dev/pci/pcivar.h>
Index: head/sys/dev/pms/freebsd/driver/ini/src/agtiapi.c
===================================================================
--- head/sys/dev/pms/freebsd/driver/ini/src/agtiapi.c
+++ head/sys/dev/pms/freebsd/driver/ini/src/agtiapi.c
@@ -43,7 +43,6 @@
 #include <machine/resource.h>
 #include <vm/vm.h>          // 1. for vtophys
 #include <vm/pmap.h>        // 2. for vtophys
-#include <machine/pmap.h>   // 3. for vtophys (yes, three)
 #include <dev/pci/pcivar.h> // For pci_get macros
 #include <dev/pci/pcireg.h>
 #include <sys/endian.h>
Index: head/sys/dev/rt/if_rt.c
===================================================================
--- head/sys/dev/rt/if_rt.c
+++ head/sys/dev/rt/if_rt.c
@@ -54,7 +54,6 @@
 #include <vm/vm_param.h>
 #include <vm/vm.h>
 #include <vm/pmap.h>
-#include <machine/pmap.h>
 #include <sys/bus.h>
 #include <sys/rman.h>
 
Index: head/sys/dev/siba/siba_pcib.c
===================================================================
--- head/sys/dev/siba/siba_pcib.c
+++ head/sys/dev/siba/siba_pcib.c
@@ -47,7 +47,6 @@
 #include <machine/bus.h>
 #include <machine/cpu.h>
 #include <machine/pcb.h>
-#include <machine/pmap.h>
 
 #include <dev/pci/pcireg.h>
 #include <dev/pci/pcivar.h>
Index: head/sys/dev/vt/hw/efifb/efifb.c
===================================================================
--- head/sys/dev/vt/hw/efifb/efifb.c
+++ head/sys/dev/vt/hw/efifb/efifb.c
@@ -43,7 +43,6 @@
 #include <machine/vmparam.h>
 #include <vm/vm.h>
 #include <vm/pmap.h>
-#include <machine/pmap.h>
 
 #include <dev/vt/vt.h>
 #include <dev/vt/hw/fb/vt_fb.h>
Index: head/sys/i386/bios/mca_machdep.c
===================================================================
--- head/sys/i386/bios/mca_machdep.c
+++ head/sys/i386/bios/mca_machdep.c
@@ -33,7 +33,6 @@
 #include <vm/vm.h>
 #include <vm/vm_param.h>
 #include <vm/pmap.h>
-#include <machine/pmap.h>
 #include <machine/md_var.h>
 #include <machine/vm86.h>
 #include <machine/pc/bios.h>
Index: head/sys/i386/pci/pci_cfgreg.c
===================================================================
--- head/sys/i386/pci/pci_cfgreg.c
+++ head/sys/i386/pci/pci_cfgreg.c
@@ -51,7 +51,6 @@
 #include <vm/vm_kern.h>
 #include <vm/vm_extern.h>
 #include <vm/pmap.h>
-#include <machine/pmap.h>
 
 #ifdef XBOX
 #include <machine/xbox.h>
Index: head/sys/mips/adm5120/admpci.c
===================================================================
--- head/sys/mips/adm5120/admpci.c
+++ head/sys/mips/adm5120/admpci.c
@@ -79,7 +79,6 @@
 
 #include <machine/bus.h>
 #include <machine/cpu.h>
-#include <machine/pmap.h>
 
 #include <dev/pci/pcivar.h>
 #include <dev/pci/pcireg.h>
Index: head/sys/mips/atheros/ar71xx_fixup.c
===================================================================
--- head/sys/mips/atheros/ar71xx_fixup.c
+++ head/sys/mips/atheros/ar71xx_fixup.c
@@ -49,7 +49,6 @@
 #include <machine/bus.h>
 #include <machine/cpu.h>
 #include <machine/intr_machdep.h>
-#include <machine/pmap.h>
 
 #include <dev/pci/pcivar.h>
 #include <dev/pci/pcireg.h>
Index: head/sys/mips/atheros/ar71xx_pci.c
===================================================================
--- head/sys/mips/atheros/ar71xx_pci.c
+++ head/sys/mips/atheros/ar71xx_pci.c
@@ -49,7 +49,6 @@
 #include <machine/bus.h>
 #include <machine/cpu.h>
 #include <machine/intr_machdep.h>
-#include <machine/pmap.h>
 
 #include <dev/pci/pcivar.h>
 #include <dev/pci/pcireg.h>
Index: head/sys/mips/atheros/ar71xx_spi.c
===================================================================
--- head/sys/mips/atheros/ar71xx_spi.c
+++ head/sys/mips/atheros/ar71xx_spi.c
@@ -44,7 +44,6 @@
 
 #include <machine/bus.h>
 #include <machine/cpu.h>
-#include <machine/pmap.h>
 
 #include <dev/spibus/spi.h>
 #include <dev/spibus/spibusvar.h>
Index: head/sys/mips/atheros/ar724x_pci.c
===================================================================
--- head/sys/mips/atheros/ar724x_pci.c
+++ head/sys/mips/atheros/ar724x_pci.c
@@ -48,7 +48,6 @@
 #include <machine/bus.h>
 #include <machine/cpu.h>
 #include <machine/intr_machdep.h>
-#include <machine/pmap.h>
 
 #include <dev/pci/pcivar.h>
 #include <dev/pci/pcireg.h>
Index: head/sys/mips/atheros/if_arge.c
===================================================================
--- head/sys/mips/atheros/if_arge.c
+++ head/sys/mips/atheros/if_arge.c
@@ -65,7 +65,6 @@
 #include <vm/vm_param.h>
 #include <vm/vm.h>
 #include <vm/pmap.h>
-#include <machine/pmap.h>
 #include <sys/bus.h>
 #include <sys/rman.h>
 
Index: head/sys/mips/atheros/qca955x_pci.c
===================================================================
--- head/sys/mips/atheros/qca955x_pci.c
+++ head/sys/mips/atheros/qca955x_pci.c
@@ -49,7 +49,6 @@
 #include <machine/bus.h>
 #include <machine/cpu.h>
 #include <machine/intr_machdep.h>
-#include <machine/pmap.h>
 
 #include <dev/pci/pcivar.h>
 #include <dev/pci/pcireg.h>
Index: head/sys/mips/cavium/cvmx_config.h
===================================================================
--- head/sys/mips/cavium/cvmx_config.h
+++ head/sys/mips/cavium/cvmx_config.h
@@ -50,7 +50,6 @@
 #include <vm/vm.h>
 #include <vm/pmap.h>
 
-#include <machine/pmap.h>
 #include <machine/stdarg.h>
 
 #define	asm		__asm
Index: head/sys/mips/cavium/octopci.c
===================================================================
--- head/sys/mips/cavium/octopci.c
+++ head/sys/mips/cavium/octopci.c
@@ -46,7 +46,6 @@
 
 #include <machine/bus.h>
 #include <machine/cpu.h>
-#include <machine/pmap.h>
 
 #include <contrib/octeon-sdk/cvmx.h>
 #include <mips/cavium/octeon_irq.h>
Index: head/sys/mips/idt/idtpci.c
===================================================================
--- head/sys/mips/idt/idtpci.c
+++ head/sys/mips/idt/idtpci.c
@@ -80,7 +80,6 @@
 
 #include <machine/bus.h>
 #include <machine/cpu.h>
-#include <machine/pmap.h>
 
 #include <dev/pci/pcivar.h>
 #include <dev/pci/pcireg.h>
Index: head/sys/mips/malta/gt_pci.c
===================================================================
--- head/sys/mips/malta/gt_pci.c
+++ head/sys/mips/malta/gt_pci.c
@@ -59,7 +59,6 @@
 
 #include <machine/bus.h>
 #include <machine/cpu.h>
-#include <machine/pmap.h>
 
 #include <mips/malta/maltareg.h>
 
Index: head/sys/mips/mips/minidump_machdep.c
===================================================================
--- head/sys/mips/mips/minidump_machdep.c
+++ head/sys/mips/mips/minidump_machdep.c
@@ -39,7 +39,6 @@
 #include <sys/msgbuf.h>
 #include <vm/vm.h>
 #include <vm/pmap.h>
-#include <machine/pmap.h>
 #include <machine/atomic.h>
 #include <machine/elf.h>
 #include <machine/md_var.h>
Index: head/sys/mips/mips/nexus.c
===================================================================
--- head/sys/mips/mips/nexus.c
+++ head/sys/mips/mips/nexus.c
@@ -54,7 +54,6 @@
 #include <vm/pmap.h>
 
 #include <machine/bus.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 #include <machine/vmparam.h>
 
Index: head/sys/mips/nlm/xlp_simplebus.c
===================================================================
--- head/sys/mips/nlm/xlp_simplebus.c
+++ head/sys/mips/nlm/xlp_simplebus.c
@@ -41,7 +41,6 @@
 #include <vm/pmap.h>
 
 #include <machine/bus.h>
-#include <machine/pmap.h>
 #include <machine/intr_machdep.h>
 
 #include <mips/nlm/hal/haldefs.h>
Index: head/sys/mips/rt305x/rt305x_pci.c
===================================================================
--- head/sys/mips/rt305x/rt305x_pci.c
+++ head/sys/mips/rt305x/rt305x_pci.c
@@ -54,7 +54,6 @@
 #include <machine/bus.h>
 #include <machine/cpu.h>
 #include <machine/intr_machdep.h>
-#include <machine/pmap.h>
 
 #include <dev/pci/pcivar.h>
 #include <dev/pci/pcireg.h>
Index: head/sys/mips/sibyte/sb_zbpci.c
===================================================================
--- head/sys/mips/sibyte/sb_zbpci.c
+++ head/sys/mips/sibyte/sb_zbpci.c
@@ -44,7 +44,6 @@
 #include <dev/pci/pcivar.h>
 #include <dev/pci/pcib_private.h>
 
-#include <machine/pmap.h>
 #include <machine/resource.h>
 #include <machine/bus.h>
 
Index: head/sys/powerpc/aim/slb.c
===================================================================
--- head/sys/powerpc/aim/slb.c
+++ head/sys/powerpc/aim/slb.c
@@ -44,7 +44,6 @@
 
 #include <machine/md_var.h>
 #include <machine/platform.h>
-#include <machine/pmap.h>
 #include <machine/vmparam.h>
 
 uintptr_t moea64_get_unique_vsid(void);
Index: head/sys/powerpc/ofw/ofw_real.c
===================================================================
--- head/sys/powerpc/ofw/ofw_real.c
+++ head/sys/powerpc/ofw/ofw_real.c
@@ -71,7 +71,6 @@
 #include <machine/bus.h>
 #include <machine/md_var.h>
 #include <machine/ofw_machdep.h>
-#include <machine/pmap.h>
 #include <machine/stdarg.h>
 
 #include <dev/ofw/openfirm.h>
Index: head/sys/powerpc/ofw/rtas.c
===================================================================
--- head/sys/powerpc/ofw/rtas.c
+++ head/sys/powerpc/ofw/rtas.c
@@ -41,7 +41,6 @@
 #include <machine/bus.h>
 #include <machine/md_var.h>
 #include <machine/pcb.h>
-#include <machine/pmap.h>
 #include <machine/rtas.h>
 #include <machine/stdarg.h>
 
Index: head/sys/powerpc/powermac/macgpio.c
===================================================================
--- head/sys/powerpc/powermac/macgpio.c
+++ head/sys/powerpc/powermac/macgpio.c
@@ -42,7 +42,6 @@
 
 #include <machine/bus.h>
 #include <machine/intr_machdep.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 #include <machine/vmparam.h>
 
Index: head/sys/powerpc/powermac/macio.c
===================================================================
--- head/sys/powerpc/powermac/macio.c
+++ head/sys/powerpc/powermac/macio.c
@@ -44,7 +44,6 @@
 
 #include <machine/bus.h>
 #include <machine/intr_machdep.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 #include <machine/vmparam.h>
 
Index: head/sys/powerpc/powermac/platform_powermac.c
===================================================================
--- head/sys/powerpc/powermac/platform_powermac.c
+++ head/sys/powerpc/powermac/platform_powermac.c
@@ -44,7 +44,6 @@
 #include <machine/fpu.h>	/* For save_fpu() */
 #include <machine/hid.h>
 #include <machine/platformvar.h>
-#include <machine/pmap.h>
 #include <machine/setjmp.h>
 #include <machine/smp.h>
 #include <machine/spr.h>
Index: head/sys/powerpc/powerpc/genassym.c
===================================================================
--- head/sys/powerpc/powerpc/genassym.c
+++ head/sys/powerpc/powerpc/genassym.c
@@ -52,7 +52,6 @@
 #include <vm/vm_map.h>
 
 #include <machine/pcb.h>
-#include <machine/pmap.h>
 #include <machine/psl.h>
 #include <machine/sigframe.h>
 
Index: head/sys/powerpc/powerpc/trap.c
===================================================================
--- head/sys/powerpc/powerpc/trap.c
+++ head/sys/powerpc/powerpc/trap.c
@@ -68,7 +68,6 @@
 #include <machine/fpu.h>
 #include <machine/frame.h>
 #include <machine/pcb.h>
-#include <machine/pmap.h>
 #include <machine/psl.h>
 #include <machine/trap.h>
 #include <machine/spr.h>
Index: head/sys/powerpc/ps3/if_glc.c
===================================================================
--- head/sys/powerpc/ps3/if_glc.c
+++ head/sys/powerpc/ps3/if_glc.c
@@ -51,7 +51,6 @@
 #include <machine/pio.h>
 #include <machine/bus.h>
 #include <machine/platform.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 #include <sys/bus.h>
 #include <sys/rman.h>
Index: head/sys/powerpc/ps3/platform_ps3.c
===================================================================
--- head/sys/powerpc/ps3/platform_ps3.c
+++ head/sys/powerpc/ps3/platform_ps3.c
@@ -44,7 +44,6 @@
 #include <machine/hid.h>
 #include <machine/platform.h>
 #include <machine/platformvar.h>
-#include <machine/pmap.h>
 #include <machine/smp.h>
 #include <machine/spr.h>
 #include <machine/vmparam.h>
Index: head/sys/powerpc/ps3/ps3_syscons.c
===================================================================
--- head/sys/powerpc/ps3/ps3_syscons.c
+++ head/sys/powerpc/ps3/ps3_syscons.c
@@ -40,7 +40,6 @@
 #include <vm/pmap.h>
 
 #include <machine/platform.h>
-#include <machine/pmap.h>
 
 #include <dev/ofw/openfirm.h>
 #include <dev/vt/vt.h>
Index: head/sys/powerpc/ps3/ps3bus.c
===================================================================
--- head/sys/powerpc/ps3/ps3bus.c
+++ head/sys/powerpc/ps3/ps3bus.c
@@ -43,7 +43,6 @@
 
 #include <machine/bus.h>
 #include <machine/platform.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 
 #include "ps3bus.h"
Index: head/sys/powerpc/ps3/ps3cdrom.c
===================================================================
--- head/sys/powerpc/ps3/ps3cdrom.c
+++ head/sys/powerpc/ps3/ps3cdrom.c
@@ -46,7 +46,6 @@
 #include <machine/pio.h>
 #include <machine/bus.h>
 #include <machine/platform.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 #include <sys/bus.h>
 #include <sys/rman.h>
Index: head/sys/powerpc/ps3/ps3disk.c
===================================================================
--- head/sys/powerpc/ps3/ps3disk.c
+++ head/sys/powerpc/ps3/ps3disk.c
@@ -47,7 +47,6 @@
 #include <machine/pio.h>
 #include <machine/bus.h>
 #include <machine/platform.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 #include <sys/bus.h>
 #include <sys/rman.h>
Index: head/sys/powerpc/pseries/platform_chrp.c
===================================================================
--- head/sys/powerpc/pseries/platform_chrp.c
+++ head/sys/powerpc/pseries/platform_chrp.c
@@ -42,7 +42,6 @@
 #include <machine/cpu.h>
 #include <machine/hid.h>
 #include <machine/platformvar.h>
-#include <machine/pmap.h>
 #include <machine/rtas.h>
 #include <machine/smp.h>
 #include <machine/spr.h>
Index: head/sys/powerpc/psim/iobus.c
===================================================================
--- head/sys/powerpc/psim/iobus.c
+++ head/sys/powerpc/psim/iobus.c
@@ -50,7 +50,6 @@
 #include <machine/vmparam.h>
 #include <vm/vm.h>
 #include <vm/pmap.h>
-#include <machine/pmap.h>
 
 #include <machine/resource.h>
 
Index: head/sys/sparc64/pci/fire.c
===================================================================
--- head/sys/sparc64/pci/fire.c
+++ head/sys/sparc64/pci/fire.c
@@ -69,7 +69,6 @@
 #include <machine/bus_private.h>
 #include <machine/iommureg.h>
 #include <machine/iommuvar.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 
 #include <dev/pci/pcireg.h>
Index: head/sys/sparc64/sparc64/iommu.c
===================================================================
--- head/sys/sparc64/sparc64/iommu.c
+++ head/sys/sparc64/sparc64/iommu.c
@@ -101,7 +101,6 @@
 #include <machine/bus.h>
 #include <machine/bus_private.h>
 #include <machine/iommureg.h>
-#include <machine/pmap.h>
 #include <machine/resource.h>
 #include <machine/ver.h>
 
Index: head/sys/sparc64/sparc64/tlb.c
===================================================================
--- head/sys/sparc64/sparc64/tlb.c
+++ head/sys/sparc64/sparc64/tlb.c
@@ -41,7 +41,6 @@
 #include <vm/vm.h>
 #include <vm/pmap.h>
 
-#include <machine/pmap.h>
 #include <machine/smp.h>
 #include <machine/tlb.h>
 #include <machine/vmparam.h>
Index: head/sys/x86/acpica/acpi_wakeup.c
===================================================================
--- head/sys/x86/acpica/acpi_wakeup.c
+++ head/sys/x86/acpica/acpi_wakeup.c
@@ -56,7 +56,6 @@
 #include <machine/intr_machdep.h>
 #include <x86/mca.h>
 #include <machine/pcb.h>
-#include <machine/pmap.h>
 #include <machine/specialreg.h>
 #include <machine/md_var.h>
 
Index: head/sys/x86/x86/nexus.c
===================================================================
--- head/sys/x86/x86/nexus.c
+++ head/sys/x86/x86/nexus.c
@@ -63,7 +63,6 @@
 #include <machine/vmparam.h>
 #include <vm/vm.h>
 #include <vm/pmap.h>
-#include <machine/pmap.h>
 
 #include <machine/metadata.h>
 #include <machine/nexusvar.h>