diff --git a/newlib/libc/include/devctl.h b/newlib/libc/include/devctl.h
index 13207ec88..f6055fb96 100644
--- a/newlib/libc/include/devctl.h
+++ b/newlib/libc/include/devctl.h
@@ -37,14 +37,14 @@
  */
 
 #ifdef _POSIX_26_C_SOURCE
-#include <stddef.h>
+#include <sys/cdefs.h>
 
 int posix_devctl(
-  int               fd,
-  int               dcmd,
-  void *__restrict, dev_data_ptr,
-  size_t            nbyte,
-  int *__restrict,  dev_info_ptr
+  int              fd,
+  int              dcmd,
+  void *__restrict dev_data_ptr,
+  size_t           nbyte,
+  int *__restrict  dev_info_ptr
 );
 #endif