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