1/*
2 * Copyright 2016, NICTA
3 *
4 * This software may be distributed and modified according to the terms of
5 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
6 * See "LICENSE_GPLv2.txt" for details.
7 *
8 * @TAG(NICTA_GPL)
9 */
10
11#ifndef ABSTRACT_H__
12#define ABSTRACT_H__
13
14// #include <adt.h>
15
16struct WrapperState {
17    void* priv; // FIXME: unboxed?
18    struct semaphore lock;
19    struct super_block* sb;
20};
21
22typedef struct inode VfsInodeAbstract;
23typedef struct kstat VfsStat;
24typedef struct iattr VfsIattr;
25
26typedef struct buffer_head OSBuffer;
27typedef struct WrapperState SysState;
28typedef struct WrapperState WrapperState;
29typedef struct dir_context OSDirContext;
30typedef struct page OSPageBuffer;
31typedef struct address_space VfsMemoryMap;
32typedef struct page OSPage;
33
34typedef struct ubi_volume_desc UbiVol;
35typedef struct ubi_volume_info UbiVolInfo;
36typedef struct ubi_device_info UbiDevInfo;
37#endif /* !ABSTRACT_H__ */
38