Index: head/lib/libvmmapi/vmmapi.c
===================================================================
--- head/lib/libvmmapi/vmmapi.c
+++ head/lib/libvmmapi/vmmapi.c
@@ -38,7 +38,6 @@
 
 #include <x86/segments.h>
 #include <machine/specialreg.h>
-#include <machine/param.h>
 
 #include <errno.h>
 #include <stdio.h>
Index: head/share/man/man9/bios.9
===================================================================
--- head/share/man/man9/bios.9
+++ head/share/man/man9/bios.9
@@ -37,7 +37,6 @@
 .In sys/param.h
 .In vm/vm.h
 .In vm/pmap.h
-.In machine/param.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/arm/arm/debug_monitor.c
===================================================================
--- head/sys/arm/arm/debug_monitor.c
+++ head/sys/arm/arm/debug_monitor.c
@@ -43,7 +43,6 @@
 #include <machine/cpu.h>
 #include <machine/debug_monitor.h>
 #include <machine/kdb.h>
-#include <machine/param.h>
 #include <machine/pcb.h>
 #include <machine/reg.h>
 
Index: head/sys/arm64/arm64/debug_monitor.c
===================================================================
--- head/sys/arm64/arm64/debug_monitor.c
+++ head/sys/arm64/arm64/debug_monitor.c
@@ -40,7 +40,6 @@
 #include <machine/cpu.h>
 #include <machine/debug_monitor.h>
 #include <machine/kdb.h>
-#include <machine/param.h>
 
 #include <ddb/ddb.h>
 #include <ddb/db_sym.h>
Index: head/sys/dev/drm/drmP.h
===================================================================
--- head/sys/dev/drm/drmP.h
+++ head/sys/dev/drm/drmP.h
@@ -75,7 +75,6 @@
 #include <vm/vm_pager.h>
 #include <vm/vm_param.h>
 #include <vm/vm_phys.h>
-#include <machine/param.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
@@ -76,7 +76,6 @@
 #include <vm/vm_pager.h>
 #include <vm/vm_param.h>
 #include <vm/vm_phys.h>
-#include <machine/param.h>
 #include <machine/bus.h>
 #include <machine/resource.h>
 #if defined(__i386__) || defined(__amd64__)
Index: head/sys/mips/mips/stack_machdep.c
===================================================================
--- head/sys/mips/mips/stack_machdep.c
+++ head/sys/mips/mips/stack_machdep.c
@@ -35,7 +35,6 @@
 
 #include <machine/mips_opcode.h>
 
-#include <machine/param.h>
 #include <machine/pcb.h>
 #include <machine/regnum.h>
 
Index: head/sys/mips/nlm/cms.c
===================================================================
--- head/sys/mips/nlm/cms.c
+++ head/sys/mips/nlm/cms.c
@@ -53,7 +53,6 @@
 #include <machine/cpu.h>
 #include <machine/hwfunc.h>
 #include <machine/mips_opcode.h>
-#include <machine/param.h>
 #include <machine/intr_machdep.h>
 
 #include <mips/nlm/hal/mips-extns.h>
Index: head/sys/mips/nlm/dev/net/xlpge.c
===================================================================
--- head/sys/mips/nlm/dev/net/xlpge.c
+++ head/sys/mips/nlm/dev/net/xlpge.c
@@ -72,7 +72,6 @@
 #include <machine/asm.h>
 #include <machine/cpuregs.h>
 
-#include <machine/param.h>
 #include <machine/intr_machdep.h>
 #include <machine/clock.h>	/* for DELAY */
 #include <machine/bus.h>
Index: head/sys/mips/rmi/dev/nlge/if_nlge.c
===================================================================
--- head/sys/mips/rmi/dev/nlge/if_nlge.c
+++ head/sys/mips/rmi/dev/nlge/if_nlge.c
@@ -94,7 +94,6 @@
 #include <machine/mips_opcode.h>
 #include <machine/asm.h>
 #include <machine/cpuregs.h>
-#include <machine/param.h>
 #include <machine/intr_machdep.h>
 #include <machine/clock.h>	/* for DELAY */
 #include <machine/bus.h>
Index: head/sys/mips/rmi/fmn.c
===================================================================
--- head/sys/mips/rmi/fmn.c
+++ head/sys/mips/rmi/fmn.c
@@ -53,7 +53,6 @@
 #include <machine/hwfunc.h>
 #include <machine/mips_opcode.h>
 
-#include <machine/param.h>
 #include <machine/intr_machdep.h>
 #include <mips/rmi/interrupt.h>
 #include <mips/rmi/msgring.h>
Index: head/sys/mips/rmi/iodi.c
===================================================================
--- head/sys/mips/rmi/iodi.c
+++ head/sys/mips/rmi/iodi.c
@@ -48,7 +48,6 @@
 
 #include <machine/cpu.h>
 #include <machine/bus.h>
-#include <machine/param.h>
 #include <machine/intr_machdep.h>
 #include <machine/clock.h>	/* for DELAY */
 #include <machine/resource.h>