diff --git a/bin/ps/keyword.c b/bin/ps/keyword.c
index 1749c284691..a3d00662ed6 100644
--- a/bin/ps/keyword.c
+++ b/bin/ps/keyword.c
@@ -42,7 +42,6 @@ static const char rcsid[] =
 
 #include <sys/param.h>
 #include <sys/time.h>
-#include <sys/lock.h>
 #include <sys/resource.h>
 #include <sys/proc.h>
 #include <sys/sysctl.h>
diff --git a/bin/ps/print.c b/bin/ps/print.c
index 8762700ac6a..f73c3f06d09 100644
--- a/bin/ps/print.c
+++ b/bin/ps/print.c
@@ -40,7 +40,6 @@ static const char rcsid[] =
 #endif /* not lint */
 
 #include <sys/param.h>
-#include <sys/lock.h>
 #include <sys/time.h>
 #include <sys/resource.h>
 #include <sys/proc.h>
diff --git a/bin/ps/ps.c b/bin/ps/ps.c
index 7613a57e40d..628ca377c7d 100644
--- a/bin/ps/ps.c
+++ b/bin/ps/ps.c
@@ -46,7 +46,6 @@ static const char rcsid[] =
 #endif /* not lint */
 
 #include <sys/param.h>
-#include <sys/lock.h>
 #include <sys/user.h>
 #include <sys/time.h>
 #include <sys/resource.h>