diff --git a/sys/amd64/include/sysarch.h b/sys/amd64/include/sysarch.h
index 41f7e3b5bb03..7b95a8b21449 100644
--- a/sys/amd64/include/sysarch.h
+++ b/sys/amd64/include/sysarch.h
@@ -70,8 +70,6 @@ struct i386_ioperm_args {
 };
 
 #ifndef _KERNEL
-#include <sys/cdefs.h>
-
 __BEGIN_DECLS
 int amd64_get_fsbase(void **);
 int amd64_get_gsbase(void **);