1 files changed, 7 insertions, 0 deletions
diff --git a/mkfs.c b/mkfs.c
index ac81ab5a..c02627f3 100644
--- a/mkfs.c
+++ b/mkfs.c
@@ -18,6 +18,13 @@
 
 #define _XOPEN_SOURCE 500
 #define _GNU_SOURCE
+
+#ifndef __CHECKER__
+#include <sys/ioctl.h>
+#include <sys/mount.h>
+#include "ioctl.h"
+#endif
+
 #include <stdio.h>
 #include <stdlib.h>
 #include <sys/types.h>