diff --git a/sys/dev/fxp/if_fxp.c b/sys/dev/fxp/if_fxp.c
index 9a138f7011d..08e7a29d0df 100644
--- a/sys/dev/fxp/if_fxp.c
+++ b/sys/dev/fxp/if_fxp.c
@@ -56,7 +56,6 @@
 #include <machine/bus.h>
 #include <sys/rman.h>
 #include <machine/resource.h>
-#include <sys/proc.h>
 #include <machine/mutex.h>
 
 #include <net/ethernet.h>
diff --git a/sys/kern/kern_malloc.c b/sys/kern/kern_malloc.c
index 96a14c65670..92194284372 100644
--- a/sys/kern/kern_malloc.c
+++ b/sys/kern/kern_malloc.c
@@ -43,7 +43,7 @@
 #include <sys/mbuf.h>
 #include <sys/vmmeter.h>
 #include <sys/lock.h>
-#include <sys/proc.h>
+
 #include <machine/mutex.h>
 
 #include <vm/vm.h>
diff --git a/sys/pci/if_fxp.c b/sys/pci/if_fxp.c
index 9a138f7011d..08e7a29d0df 100644
--- a/sys/pci/if_fxp.c
+++ b/sys/pci/if_fxp.c
@@ -56,7 +56,6 @@
 #include <machine/bus.h>
 #include <sys/rman.h>
 #include <machine/resource.h>
-#include <sys/proc.h>
 #include <machine/mutex.h>
 
 #include <net/ethernet.h>