diff --git a/sys/dev/atkbdc/psm.c b/sys/dev/atkbdc/psm.c
index b216065de66..fa1ae7ac854 100644
--- a/sys/dev/atkbdc/psm.c
+++ b/sys/dev/atkbdc/psm.c
@@ -81,7 +81,6 @@ __FBSDID("$FreeBSD$");
 #include <sys/sysctl.h>
 #include <sys/time.h>
 #include <sys/uio.h>
-#include <sys/libkern.h>
 
 #include <sys/limits.h>
 #include <sys/mouse.h>