From 18667c48b0cf6497b50c00f00f474d79a68f59ce Mon Sep 17 00:00:00 2001 From: dzwdz Date: Tue, 26 Jul 2022 18:16:10 +0200 Subject: shared: move some headers from shared/ to camellia/ --- src/shared/types.h | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 src/shared/types.h (limited to 'src/shared/types.h') 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 - -#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, -}; -- cgit v1.2.3