/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/lib/ |
H A D | abstract.h | 21 typedef struct dentry *VfsDentry;
|
H A D | wraphead.h | 36 extern int vfat_d_anon_disconn(struct dentry *dentry);
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/os/linux/ |
H A D | wrapper.c | 98 static struct dentry *bilbyfs_lookup(struct inode *dir, struct dentry *dentry, argument 107 err = fsop_lookup(bi, dir, dentry->d_name.name, &inum); 115 d_add(dentry, inode); 120 bilbyfs_err("BilbyError: bilbyfs_lookup(dir.ino = %lu, name=%.*s, flags=%x)=%d\n", dir->i_ino, dentry->d_name.len, dentry->d_name.name, flags, err); 156 static int bilbyfs_link(struct dentry *old_dentry, struct inode *dir, argument 157 struct dentry *dentry) 173 bilbyfs_create(struct inode *dir, struct dentry *dentry, umode_t mode, bool excl) argument 198 bilbyfs_unlink(struct inode *dir, struct dentry *dentry) argument 211 bilbyfs_rmdir(struct inode *dir, struct dentry *dentry) argument 225 bilbyfs_mkdir(struct inode *dir, struct dentry *dentry, umode_t mode) argument 251 struct dentry *dentry = file->f_path.dentry; local 306 bilbyfs_symlink(struct inode *dir, struct dentry *dentry, const char *symname) argument 578 bilbyfs_follow_link(struct dentry *dentry, struct nameidata *nd) argument 606 bilbyfs_get_link(struct dentry *dentry, struct inode *inode, struct delayed_call *done) argument 631 bilbyfs_setattr(struct dentry *dentry, struct iattr *attr) argument 678 bilbyfs_getattr(struct vfsmount *mnt, struct dentry *dentry, struct kstat *stat) argument 700 struct dentry *dentry = path->dentry; local 792 bilbyfs_statfs(struct dentry *dentry, struct kstatfs *kstat) argument [all...] |
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | module.c | 44 * negative-dentry which matches the created 8.3 alias. 46 * If it happened, the negative dentry isn't actually negative 49 static int vfat_revalidate_shortname(struct dentry *dentry) argument 52 spin_lock(&dentry->d_lock); 53 if (dentry->d_time != d_inode(dentry->d_parent)->i_version) 55 spin_unlock(&dentry->d_lock); 59 static int vfat_revalidate(struct dentry *dentry, unsigne argument 70 vfat_revalidate_ci(struct dentry *dentry, unsigned int flags) argument 125 vfat_hash(const struct dentry *dentry, struct qstr *qstr) argument 141 vfat_hashi(const struct dentry *dentry, struct qstr *qstr) argument 167 vfat_cmpi(const struct dentry *parent, const struct dentry *dentry, unsigned int len, const char *str, const struct qstr *name) argument 196 vfat_cmp(const struct dentry *parent, const struct dentry *dentry, unsigned int len, const char *str, const struct qstr *name) argument [all...] |
H A D | file.c | 106 err = security_inode_setattr(file->f_path.dentry, &ia); 111 err = fat_setattr(file->f_path.dentry, &ia); 115 fsnotify_change(file->f_path.dentry, ia.ia_valid); 329 int fat_getattr(struct vfsmount *mnt, struct dentry *dentry, struct kstat *stat) argument 331 struct inode *inode = d_inode(dentry); 400 int fat_setattr(struct dentry *dentry, struct iattr *attr) argument 402 struct msdos_sb_info *sbi = MSDOS_SB(dentry->d_sb); 403 struct inode *inode = d_inode(dentry); [all...] |
H A D | nfs.c | 152 * Map a NFS file handle to a corresponding dentry. 153 * The dentry may or may not be connected to the filesystem root. 155 static struct dentry *fat_fh_to_dentry(struct super_block *sb, struct fid *fid, 162 static struct dentry *fat_fh_to_dentry_nostale(struct super_block *sb, 193 static struct dentry *fat_fh_to_parent(struct super_block *sb, struct fid *fid, 200 static struct dentry *fat_fh_to_parent_nostale(struct super_block *sb, 275 static struct dentry *fat_get_parent(struct dentry *child_dir)
|
H A D | fat.h | 372 extern int fat_setattr(struct dentry *dentry, struct iattr *attr); 374 extern int fat_getattr(struct vfsmount *mnt, struct dentry *dentry,
|
H A D | inode.c | 745 static int fat_statfs(struct dentry *dentry, struct kstatfs *buf) argument 747 struct super_block *sb = dentry->d_sb; 753 int err = fat_count_free_clusters(dentry->d_sb); 758 buf->f_type = dentry->d_sb->s_magic; 852 static int fat_show_options(struct seq_file *m, struct dentry *root); 865 static int fat_show_options(struct seq_file *m, struct dentry *root)
|
/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/plat/linux/ |
H A D | module.c | 13 static struct dentry *skelfs_mount(struct file_system_type *fs_type, int flags,
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | dentarr.c | 26 struct obj_dentry *dentry) 30 next_de = (void *) dentry + obj_dentry_size(dentry); 25 dentarr_next_dentry(struct obj_dentarr *dentarr, struct obj_dentry *dentry) argument
|
H A D | bilbyfs.h | 121 * - dentarr: inode number (32 bits), type dentry (3 bits), name hash (29 bits) 172 * @s: dentry name 189 /* dentarr_id_init: Initialise an `dentry array' id. 224 /* is_dentarr_id: assess if the id is a `dentry array' id 226 * Returns 1 if id is a `dentry array' id 0 otherwise 500 * @nb_dentry: number of dentry object in the array (i.e. hash collisions) 912 * fsop_lookup will look for the name specified by @dentry->d_name and store 951 * @inode: inode to which @dentry points 953 * The function removes @dentry and decrements the nlink counter of the inode 954 * pointed by @dentry [all...] |
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/ |
H A D | module.c | 14 struct dentry *bilbyfs_mount(struct file_system_type *fs_type, int flags,
|
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/plat/linux/ |
H A D | module.c | 67 static struct dentry *ext2fs_mount(struct file_system_type *fs_type,
|