diff --git a/sys/arm/arm/pmap.c b/sys/arm/arm/pmap.c
index 0b0c7dd5db6f..ac841f294cdd 100644
--- a/sys/arm/arm/pmap.c
+++ b/sys/arm/arm/pmap.c
@@ -157,7 +157,6 @@ __FBSDID("$FreeBSD$");
 #include <sys/vmmeter.h>
 #include <sys/mman.h>
 #include <sys/smp.h>
-#include <sys/sx.h>
 #include <sys/sched.h>
 
 #include <vm/vm.h>