1 files changed, 13 insertions, 0 deletions
diff --git a/tests/headers/devctl.c b/tests/headers/devctl.c
new file mode 100644
index 00000000..cf40ac37
--- /dev/null
+++ b/tests/headers/devctl.c
@@ -0,0 +1,13 @@
+// https://pubs.opengroup.org/onlinepubs/9799919799/basedefs/devctl.h.html
+
+#include "core.h"
+
+#include <devctl.h>
+
+TEST(devctl_h)
+{
+	TYPE(size_t);
+
+	FUNCTION(posix_devctl,
+		 FN(int, int, int, void *restrict, size_t, int *restrict));
+}