Searched refs:sb (Results 1 - 25 of 30) sorted by relevance

12

/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/wa_example/
H A Dabstract.h19 struct super_block* sb; member in struct:WrapperState
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/
H A Dnfs.c36 static struct inode *fat_dget(struct super_block *sb, int i_logstart) argument
38 struct msdos_sb_info *sbi = MSDOS_SB(sb);
46 BUG_ON(i->vfs_inode.i_sb != sb);
57 static struct inode *fat_ilookup(struct super_block *sb, u64 ino, loff_t i_pos) argument
59 if (MSDOS_SB(sb)->options.nfs == FAT_NFS_NOSTALE_RO)
60 return fat_iget(sb, i_pos);
65 return ilookup(sb, ino);
69 static struct inode *__fat_nfs_get_inode(struct super_block *sb, argument
72 struct inode *inode = fat_ilookup(sb, ino, i_pos);
78 if (inode == NULL && MSDOS_SB(sb)
105 fat_nfs_get_inode(struct super_block *sb, u64 ino, u32 generation) argument
155 fat_fh_to_dentry(struct super_block *sb, struct fid *fid, int fh_len, int fh_type) argument
162 fat_fh_to_dentry_nostale(struct super_block *sb, struct fid *fh, int fh_len, int fh_type) argument
193 fat_fh_to_parent(struct super_block *sb, struct fid *fid, int fh_len, int fh_type) argument
200 fat_fh_to_parent_nostale(struct super_block *sb, struct fid *fh, int fh_len, int fh_type) argument
227 fat_rebuild_parent(struct super_block *sb, int parent_logstart) argument
277 struct super_block *sb = child_dir->d_sb; local
[all...]
H A Dinode.c119 struct super_block *sb = inode->i_sb; local
120 struct msdos_sb_info *sbi = MSDOS_SB(sb);
129 map_bh(bh_result, sb, phys);
136 if (iblock != MSDOS_I(inode)->mmu_private >> sb->s_blocksize_bits) {
137 fat_fs_error(sb, "corrupted file size (i_pos %lld, %lld)",
153 MSDOS_I(inode)->mmu_private += *max_blocks << sb->s_blocksize_bits;
162 map_bh(bh_result, sb, phys);
170 struct super_block *sb = inode->i_sb; local
177 bh_result->b_size = max_blocks << sb->s_blocksize_bits;
354 static void fat_hash_init(struct super_block *sb) argument
370 dir_hash_init(struct super_block *sb) argument
425 fat_iget(struct super_block *sb, loff_t i_pos) argument
547 fat_build_inode(struct super_block *sb, struct msdos_dir_entry *de, loff_t i_pos) argument
598 fat_set_state(struct super_block *sb, unsigned int set, unsigned int force) argument
655 fat_put_super(struct super_block *sb) argument
669 fat_alloc_inode(struct super_block *sb) argument
726 fat_remount(struct super_block *sb, int *flags, char *data) argument
747 struct super_block *sb = dentry->d_sb; local
773 struct super_block *sb = inode->i_sb; local
834 struct super_block *sb = inode->i_sb; local
1052 parse_options(struct super_block *sb, char *options, int is_vfat, int silent, int *debug, struct fat_mount_options *opts) argument
1337 calc_fat_clusters(struct super_block *sb) argument
1375 fat_read_bpb(struct super_block *sb, struct fat_boot_sector *b, int silent, struct fat_bios_param_block *bpb) argument
1447 fat_read_static_bpb(struct super_block *sb, struct fat_boot_sector *b, int silent, struct fat_bios_param_block *bpb) argument
1516 fat_fill_super(struct super_block *sb, void *data, int silent, int isvfat, void (*setup)(struct super_block *)) argument
1836 fat_flush_inodes(struct super_block *sb, struct inode *i1, struct inode *i2) argument
[all...]
H A Dfatent.c26 static void fat12_ent_blocknr(struct super_block *sb, int entry, argument
29 struct msdos_sb_info *sbi = MSDOS_SB(sb);
32 *offset = bytes & (sb->s_blocksize - 1);
33 *blocknr = sbi->fat_start + (bytes >> sb->s_blocksize_bits);
36 static void fat_ent_blocknr(struct super_block *sb, int entry, argument
39 struct msdos_sb_info *sbi = MSDOS_SB(sb);
42 *offset = bytes & (sb->s_blocksize - 1);
43 *blocknr = sbi->fat_start + (bytes >> sb->s_blocksize_bits);
72 static int fat12_ent_bread(struct super_block *sb, struct fat_entry *fatent, argument
77 WARN_ON(blocknr < MSDOS_SB(sb)
104 fat_ent_bread(struct super_block *sb, struct fat_entry *fatent, int offset, sector_t blocknr) argument
291 fat_ent_access_init(struct super_block *sb) argument
313 mark_fsinfo_dirty(struct super_block *sb) argument
323 fat_ent_update_ptr(struct super_block *sb, struct fat_entry *fatent, int offset, sector_t blocknr) argument
355 struct super_block *sb = inode->i_sb; local
380 fat_mirror_bhs(struct super_block *sb, struct buffer_head **bhs, int nr_bhs) argument
414 struct super_block *sb = inode->i_sb; local
437 fat_ent_read_block(struct super_block *sb, struct fat_entry *fatent) argument
469 struct super_block *sb = inode->i_sb; local
557 struct super_block *sb = inode->i_sb; local
641 fat_ent_reada(struct super_block *sb, struct fat_entry *fatent, unsigned long reada_blocks) argument
654 fat_count_free_clusters(struct super_block *sb) argument
[all...]
H A Dmisc.c23 void __fat_fs_error(struct super_block *sb, int report, const char *fmt, ...) argument
25 struct fat_mount_options *opts = &MSDOS_SB(sb)->options;
33 fat_msg(sb, KERN_ERR, "error, %pV", &vaf);
38 panic("FAT-fs (%s): fs panic from previous error\n", sb->s_id);
39 else if (opts->errors == FAT_ERRORS_RO && !(sb->s_flags & MS_RDONLY)) {
40 sb->s_flags |= MS_RDONLY;
41 fat_msg(sb, KERN_ERR, "Filesystem has been set read-only");
50 void fat_msg(struct super_block *sb, const char *level, const char *fmt, ...) argument
58 printk("%sFAT-fs (%s): %pV\n", level, sb->s_id, &vaf);
65 int fat_clusters_flush(struct super_block *sb) argument
106 struct super_block *sb = inode->i_sb; local
[all...]
H A Ddir.c44 static inline loff_t fat_make_i_pos(struct super_block *sb, argument
48 return ((loff_t)bh->b_blocknr << MSDOS_SB(sb)->dir_per_block_bits)
55 struct super_block *sb = dir->i_sb; local
56 struct msdos_sb_info *sbi = MSDOS_SB(sb);
67 bh = sb_find_get_block(sb, phys);
70 sb_breadahead(sb, phys + sec);
89 struct super_block *sb = dir->i_sb; local
99 iblock = *pos >> sb->s_blocksize_bits;
106 *bh = sb_bread(sb, phys);
108 fat_msg_ratelimit(sb, KERN_ER
149 uni16_to_x8(struct super_block *sb, unsigned char *ascii, const wchar_t *uni, int len, struct nls_table *nls) argument
189 fat_uni_to_x8(struct super_block *sb, const wchar_t *uni, unsigned char *buf, int size) argument
358 fat_parse_short(struct super_block *sb, const struct msdos_dir_entry *de, unsigned char *name, int dot_hidden) argument
473 struct super_block *sb = inode->i_sb; local
564 struct super_block *sb = inode->i_sb; local
973 struct super_block *sb = dir->i_sb; local
997 struct super_block *sb = dir->i_sb; local
1015 struct super_block *sb = dir->i_sb; local
1051 struct super_block *sb = dir->i_sb; local
1104 struct super_block *sb = dir->i_sb; local
1152 struct super_block *sb = dir->i_sb; local
1216 struct super_block *sb = dir->i_sb; local
1295 struct super_block *sb = dir->i_sb; local
[all...]
H A Dfat.h149 static inline struct msdos_sb_info *MSDOS_SB(struct super_block *sb) argument
151 return sb->s_fs_info;
357 extern void fat_ent_access_init(struct super_block *sb);
365 extern int fat_count_free_clusters(struct super_block *sb);
383 extern struct inode *fat_iget(struct super_block *sb, loff_t i_pos);
384 extern struct inode *fat_build_inode(struct super_block *sb,
387 extern int fat_fill_super(struct super_block *sb, void *data, int silent,
391 extern int fat_flush_inodes(struct super_block *sb, struct inode *i1,
400 void __fat_fs_error(struct super_block *sb, int report, const char *fmt, ...);
401 #define fat_fs_error(sb, fm
[all...]
H A Dcache.c231 struct super_block *sb = inode->i_sb; local
232 const int limit = sb->s_maxbytes >> MSDOS_SB(sb)->cluster_bits;
256 fat_fs_error_ratelimit(sb,
268 fat_fs_error_ratelimit(sb,
292 struct super_block *sb = inode->i_sb; local
302 fat_fs_error(sb, "%s: request beyond EOF (i_pos %lld)",
312 struct super_block *sb = inode->i_sb; local
313 struct msdos_sb_info *sbi = MSDOS_SB(sb);
314 const unsigned long blocksize = sb
[all...]
H A Dmodule.c762 struct super_block *sb = old_dir->i_sb; local
767 mutex_lock(&MSDOS_SB(sb)->s_lock);
842 mutex_unlock(&MSDOS_SB(sb)->s_lock);
891 static void setup(struct super_block *sb) argument
893 MSDOS_SB(sb)->dir_ops = &vfat_dir_inode_operations;
894 if (MSDOS_SB(sb)->options.name_check != 's')
895 sb->s_d_op = &vfat_ci_dentry_ops;
897 sb->s_d_op = &vfat_dentry_ops;
900 static int vfat_fill_super(struct super_block *sb, void *data, int silent) argument
902 return fat_fill_super(sb, dat
915 kill_vfat_super(struct super_block *sb) argument
[all...]
H A Dfile.c243 struct super_block *sb = inode->i_sb; local
289 fat_fs_error(sb,
304 inode->i_blocks = skip << (MSDOS_SB(sb)->cluster_bits - 9);
/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/plat/linux/
H A Dmodule.c19 static void kill_skelfs_super(struct super_block *sb) argument
22 kill_block_super(sb);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/lib/
H A Dabstract.h19 struct super_block* sb; member in struct:WrapperState
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/
H A Dabstract.h19 struct super_block* sb; member in struct:WrapperState
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/os/linux/
H A Dwrapper.c130 static struct inode *bilbyfs_new_inode(struct super_block *sb, argument
137 inode = new_inode(sb);
147 err = init_inode_by_type(sb->s_bdi, inode);
803 static int bilbyfs_sync_fs(struct super_block *sb, int wait) argument
805 struct bilbyfs_info *bi = sb->s_fs_info;
809 err = fsop_sync_fs(bi, sb, wait);
829 static void bilbyfs_put_super(struct super_block *sb) argument
831 struct bilbyfs_info *bi = sb->s_fs_info;
839 bdi_destroy(sb->s_bdi);
949 static int bilbyfs_fill_super(struct super_block *sb, voi argument
1030 sb_test(struct super_block *sb, void *data) argument
1041 sb_set(struct super_block *sb, void *data) argument
1060 struct super_block *sb; local
1108 bilbyfs_kill_super(struct super_block *sb) argument
1122 bilbyfs_alloc_inode(struct super_block *sb) argument
[all...]
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/lib/
H A Dwraphead.h24 extern struct inode *fat_iget(struct super_block *sb, loff_t i_pos);
41 void fat_msg(struct super_block *sb, const char *level, const char *fmt, ...);
/seL4-camkes-master/projects/musllibc/src/math/
H A Derfl.c199 /* erfc(1/x) = x exp (-1/x^2 - 0.5625 + rb(x^2)/sb(x^2))
212 sb[] = { variable
272 S = sb[0] + s * (sb[1] + s * (sb[2] + s * (sb[3] + s * (sb[4] +
273 s * (sb[5] + s * (sb[6] + s))))));
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/
H A Dmodule.c13 void bilbyfs_kill_super(struct super_block *sb);
45 static struct inode *bilbyfs_alloc_inode(struct super_block *sb) argument
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/lib/
H A Dabstract.h21 struct super_block* sb; member in struct:Ext2State
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Dconfig.c432 struct stat sb; local
436 if (stat(path, &sb) == -1)
438 return major(sb.st_rdev);
674 struct stat sb; local
714 if (stat(cfgname, &sb) == -1)
717 if (sb.st_size > CFGMAXSIZE)
719 if ((p = malloc(sb.st_size+1)) == NULL)
722 if (read(fd, p, sb.st_size) != sb.st_size)
726 p[sb
[all...]
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dunprivileged_memory.h42 DECLARE_UNPRIVILEGED_STORE_FUNCTION(uint8_t, sb)
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dev_radio_mgr.c57 struct socket *sa = a, *sb = b; local
58 return (int)(sa->id - sb->id);
H A Dpico_tcp.c563 struct tcp_sack_block *sb; local
571 sb = ts->sacks;
572 ts->sacks = sb->next;
573 memcpy(f->start + *ii, sb, 2 * sizeof(uint32_t));
576 PICO_FREE(sb);
706 struct tcp_sack_block *sb = t->sacks; local
721 if ((flags & PICO_TCP_ACK) && (t->sack_ok && sb)) {
723 while(sb) {
725 sb = sb
1601 struct tcp_sack_block *sb; local
[all...]
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Dfsop.c1110 int fsop_sync_fs(struct bilbyfs_info *bi, struct super_block *sb, int wait) argument
1145 int fsop_fill_super(struct bilbyfs_info *bi, struct super_block *sb, int silent, argument
1150 bi->vfs_sb = sb; /* FIXME remove vfs_sb ? */
1154 sb->s_magic = BILBYFS_SUPER_MAGIC;
1155 sb->s_blocksize = BILBYFS_BLOCK_SIZE;
1156 sb->s_blocksize_bits = BILBYFS_BLOCK_SHIFT;
1157 sb->s_maxbytes = MAX_LFS_FILESIZE;
1169 bi->is_ro = sb->s_flags & MS_RDONLY;
H A Dbilbyfs.h1124 * @sb: superblock data structure
1130 int fsop_sync_fs(struct bilbyfs_info *bi, struct super_block *sb, int wait);
1142 * @sb: super block to fill
1150 int fsop_fill_super(struct bilbyfs_info *bi, struct super_block *sb, int silent, ino_t *rootino, struct inode *root);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/
H A Dfsm_wrapper_pp_inferred.c15 struct super_block *sb; member in struct:WrapperState

Completed in 186 milliseconds

12