/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/wa_example/ |
H A D | abstract.h | 19 struct super_block* sb; member in struct:WrapperState
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | nfs.c | 36 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 D | inode.c | 119 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 D | fatent.c | 26 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 D | misc.c | 23 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 D | dir.c | 44 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 D | fat.h | 149 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 D | cache.c | 231 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 D | module.c | 762 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 D | file.c | 243 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 D | module.c | 19 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 D | abstract.h | 19 struct super_block* sb; member in struct:WrapperState
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/ |
H A D | abstract.h | 19 struct super_block* sb; member in struct:WrapperState
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/os/linux/ |
H A D | wrapper.c | 130 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 D | wraphead.h | 24 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 D | erfl.c | 199 /* 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 D | module.c | 13 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 D | abstract.h | 21 struct super_block* sb; member in struct:Ext2State
|
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | config.c | 432 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 D | unprivileged_memory.h | 42 DECLARE_UNPRIVILEGED_STORE_FUNCTION(uint8_t, sb)
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dev_radio_mgr.c | 57 struct socket *sa = a, *sb = b; local 58 return (int)(sa->id - sb->id);
|
H A D | pico_tcp.c | 563 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 D | fsop.c | 1110 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 D | bilbyfs.h | 1124 * @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 D | fsm_wrapper_pp_inferred.c | 15 struct super_block *sb; member in struct:WrapperState
|