1 files changed, 0 insertions, 20 deletions
diff --git a/src/shared/types.h b/src/shared/types.h
deleted file mode 100644
index f47e1bb..0000000
--- a/src/shared/types.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#pragma once
-#include <stdint.h>
-
-#ifdef __CHECKER__
-#  define __user  __attribute__((noderef, address_space(__user)))
-#  define __force __attribute__((force))
-#else
-#  define __user
-#  define __force
-#endif
-
-typedef void __user * userptr_t;
-typedef int handle_t;
-
-enum vfs_operation {
-	VFSOP_OPEN,
-	VFSOP_READ,
-	VFSOP_WRITE,
-	VFSOP_CLOSE,
-};