/seL4-camkes-master/kernel/libsel4/src/ |
H A D | sel4_bootinfo.c | 20 void seL4_InitBootInfo(seL4_BootInfo *bi) argument
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | rdx.c | 13 void rdx_init(struct bilbyfs_info *bi, struct fsop_readdir_ctx *rdx, ino_t ino) argument 29 static struct obj_dentry *next_dentarr_dentry(struct bilbyfs_info *bi, argument 52 struct obj_dentry *rdx_next_dentry(struct bilbyfs_info *bi, argument
|
H A D | gc.c | 13 int gc_init(struct bilbyfs_info *bi) argument 23 void gc_clean(struct bilbyfs_info *bi) argument 28 int gc_garbage_collect(struct bilbyfs_info *bi) argument [all...] |
H A D | dentarr.c | 36 int dentarr_check_empty(struct bilbyfs_info *bi, struct obj_dentarr *dentarr) argument 41 int dentarr_add_dentry(struct bilbyfs_info *bi, struct obj_dentarr *dentarr, argument 61 int dentarr_del_dentry(struct bilbyfs_info *bi, struct obj_dentarr *dentarr, argument 109 struct obj_dentry *dentarr_lookup_nm(struct bilbyfs_info *bi, argument 124 struct obj_dentarr *dentarr_read(struct bilbyfs_info *bi, obj_id id) argument 151 struct obj_dentarr *dentarr_read_or_create(struct bilbyfs_info *bi, obj_id id) argument [all...] |
H A D | fsm.c | 13 int fsm_init(struct bilbyfs_info *bi) argument 35 fsm_check_free_space(struct bilbyfs_info *bi, int osw_flag) argument 57 fsm_clean(struct bilbyfs_info *bi) argument 63 fsm_mark_used(struct bilbyfs_info *bi, int lnum) argument 70 fsm_mark_dirty(struct bilbyfs_info *bi, struct obj_addr *addr) argument 78 fsm_mark_erased(struct bilbyfs_info *bi, int lnum) argument 91 fsm_alloc_eb(struct bilbyfs_info *bi, int osw_flag) argument 119 fsm_get_lnum(struct bilbyfs_info *bi) argument 124 fsm_get_free_space(struct bilbyfs_info *bi) argument 135 fsm_get_available_space(struct bilbyfs_info *bi) argument 148 fsm_get_dirtiest_eb(struct bilbyfs_info *bi) argument [all...] |
H A D | idx.c | 15 int idx_init(struct bilbyfs_info *bi) argument 28 void idx_clean(struct bilbyfs_info *bi) argument 84 int idx_get_obj_addr(struct bilbyfs_info *bi, obj_i argument 99 index_insert_or_replace(struct bilbyfs_info *bi, struct rbt_root *root, obj_id id, struct idx_node *allocated_node) argument 128 idx_set_obj_addr(struct bilbyfs_info *bi, obj_id id, struct obj_addr *addr, struct idx_node *allocated_node) argument 139 idx_get_or_create_obj_addr_node(struct bilbyfs_info *bi, obj_id id) argument 147 idx_next_obj_id(struct bilbyfs_info *bi, obj_id id) argument 178 idx_del_obj_addr(struct bilbyfs_info *bi, obj_id id) argument [all...] |
H A D | gim.c | 15 int gim_init(struct bilbyfs_info *bi) argument 28 void gim_clean(struct bilbyfs_info *bi) argument 53 static struct gim_node *gim_index_search(struct bilbyfs_info *bi, obj_i argument 86 gim_insert_or_replace(struct bilbyfs_info *bi, obj_id id, struct gim_node *allocated_node) argument 117 gim_mark_garbage_cnt(struct bilbyfs_info *bi, obj_id id, struct obj_addr *addr, u32 count, struct gim_node *allocated_node) argument 127 gim_mark_garbage(struct bilbyfs_info *bi, obj_id id, struct obj_addr *addr, struct gim_node *allocated_node) argument 132 gim_next_node(struct bilbyfs_info *bi, struct gim_node *curr_gnode) argument 159 gim_is_removable(struct bilbyfs_info *bi, struct obj_ch *obj) argument 206 gim_garbage_collected(struct bilbyfs_info *bi, struct obj_ch *obj) argument [all...] |
H A D | wbuf.c | 13 int wbuf_init(struct bilbyfs_info *bi) argument 24 void wbuf_clean(struct bilbyfs_info *bi) argument 30 wbuf_start(struct bilbyfs_info *bi, struct bilbyfs_wbuf *wbuf) argument 39 wbuf_write_obj(struct bilbyfs_info *bi, void *obj, int objlen, struct bilbyfs_wbuf *wbuf) argument 55 wbuf_prepare_commit(struct bilbyfs_info *bi, u32 *padding_sz, struct bilbyfs_wbuf *wbuf) argument 81 wbuf_atom_leb_commit(struct bilbyfs_info *bi, int lnum, struct bilbyfs_wbuf *wbuf) argument 98 wbuf_commit(struct bilbyfs_info *bi, u32 lnum, struct bilbyfs_wbuf *wbuf) argument 120 wbuf_read_obj_pages(struct bilbyfs_info *bi, struct obj_addr *addr, struct bilbyfs_rbuf *rbuf) argument 159 wbuf_read_obj(struct bilbyfs_info *bi, void *buf, struct obj_addr *addr) argument 173 wbuf_read_sum(struct bilbyfs_info *bi, int lnum, struct bilbyfs_rbuf *rbuf, u32 *sum_offs_ret) argument 227 wbuf_read_leb_fast(struct bilbyfs_info *bi, int lnum, struct bilbyfs_rbuf *rbuf) argument 249 wbuf_read_leb(struct bilbyfs_info *bi, int lnum, struct bilbyfs_rbuf *rbuf) argument 268 wbuf_erase(struct bilbyfs_info *bi, int lnum) argument 275 wbuf_next_obj_addr(struct bilbyfs_info *bi, struct obj_addr *addr, struct bilbyfs_rbuf *rbuf) argument [all...] |
H A D | ostore.c | 13 int ostore_init(struct bilbyfs_info *bi) argument 64 ostore_clean(struct bilbyfs_info *bi) argument 81 ostore_get_obj_size(struct bilbyfs_info *bi, obj_id id) argument 92 ostore_read_obj(struct bilbyfs_info *bi, obj_id id, void *buf, u32 len) argument 127 ostore_next_obj_id(struct bilbyfs_info *bi, obj_id id) argument 149 proc_obj(struct bilbyfs_info *bi, u8 type, obj_id id, struct obj_addr *addr) argument 243 debug_print_objs(struct bilbyfs_info *bi, u32 lnum) argument 328 ostore_write_summary(struct bilbyfs_info *bi, u32 *padding_sz) argument 362 sum_obj(struct bilbyfs_info *bi, struct obj_ch *obj, struct obj_addr *addr) argument 429 ostore_sync(struct bilbyfs_info *bi, int force_summary) argument 481 ostore_write_obj_list(struct bilbyfs_info *bi, void **obj_list, int count, int osw_flag) argument 572 ostore_erase(struct bilbyfs_info *bi, int lnum) argument 584 ostore_scan_obj(struct bilbyfs_info *bi, struct bilbyfs_rbuf *rbuf, int lnum, void **list, int max_count) argument 610 ostore_scan_leb_obj(struct bilbyfs_info *bi, struct bilbyfs_rbuf *rbuf, int lnum, void **list, int max_count) argument 622 ostore_get_free_space(struct bilbyfs_info *bi) argument 627 ostore_get_available_space(struct bilbyfs_info *bi) argument 632 next_super_addr(struct bilbyfs_info *bi, struct obj_addr *addr, struct bilbyfs_rbuf *rbuf) argument 650 mount_read_super(struct bilbyfs_info *bi) argument 693 ostore_write_super(struct bilbyfs_info *bi) argument 731 mount_check_super(struct bilbyfs_info *bi) argument 844 mount_scan_rbuf(struct bilbyfs_info *bi, struct obj_addr *addr, struct bilbyfs_rbuf *rbuf, struct list_obj_del **del_list) argument 913 mount_proc_sum(struct bilbyfs_info *bi, u32 lnum, struct obj_sum *sum, u32 maxsz, struct list_obj_del **del_list) argument 955 mount_init_log(struct bilbyfs_info *bi, struct list_obj_del **del_list) argument 992 mount_scan(struct bilbyfs_info *bi) argument 1084 check_flash_empty(struct bilbyfs_info *bi) argument 1102 ostore_mount(struct bilbyfs_info *bi) argument 1141 ostore_unmount(struct bilbyfs_info *bi) argument [all...] |
H A D | fsop.c | 43 void bilbyfs_ro_mode(struct bilbyfs_info *bi) argument 58 static int validate_inode(struct bilbyfs_info *bi, const struct inode *inode) argument 69 int fsop_iget(struct bilbyfs_info *bi, unsigned long inum, struct inode *inode) argument 103 static int dir_lookup_nm(struct bilbyfs_info *bi, struc argument 124 fsop_lookup(struct bilbyfs_info *bi, struct inode *dir, const char *name, ino_t *ino) argument 145 trans_commit_inodes(struct bilbyfs_info *bi, struct inode *dir, struct inode *inode, void **obj_list, int count, int osw_flag) argument 163 fsop_link(struct bilbyfs_info *bi, struct inode *inode, struct inode *dir, const char *name) argument 218 init_inode(struct bilbyfs_info *bi, struct inode *dir, struct inode *inode, umode_t mode) argument 255 fsop_create(struct bilbyfs_info *bi, struct inode *dir, const char *name, umode_t mode, int excl, struct inode *inode) argument 302 fsop_unlink(struct bilbyfs_info *bi, struct inode *dir, const char *name, struct inode *inode) argument 355 check_dir_empty(struct bilbyfs_info *bi, struct inode *dir) argument 367 fsop_rmdir(struct bilbyfs_info *bi, struct inode *dir, const char *name, struct inode *inode) argument 421 fsop_mkdir(struct bilbyfs_info *bi, struct inode *dir, const char *name, umode_t mode, struct inode *inode) argument 500 fsop_readdir(struct bilbyfs_info *bi, struct inode *dir, struct dir_context *ctx, struct fsop_readdir_ctx **rdx) argument 541 fsop_symlink(struct bilbyfs_info *bi, struct inode *dir, const char *name, const char *symname, struct inode *inode) argument 604 get_dentarr_cache(struct bilbyfs_info *bi, obj_id id, struct obj_dentarr **cache) argument 621 free_dentarr_cache(struct bilbyfs_info *bi, struct obj_dentarr **cache) argument 629 bilbyfs_do_rename(struct bilbyfs_info *bi, struct inode *old_dir, const char *old_name, struct inode *old_inode, struct inode *new_dir, const char *new_name, struct inode *new_inode) argument 708 fsop_rename(struct bilbyfs_info *bi, struct inode *old_dir, const char *old_name, struct inode *old_inode, struct inode *new_dir, const char *new_name, struct inode *new_inode) argument 768 read_block(struct bilbyfs_info *bi, struct inode *inode, void *addr, int block) argument 796 fsop_readpage(struct bilbyfs_info *bi, struct inode *inode, pgoff_t block, void *addr) argument 819 fsop_write_begin(struct bilbyfs_info *bi, struct inode *inode, int pos, int len, void *addr) argument 835 fsop_write_end(struct bilbyfs_info *bi, struct inode *inode, int pos, int len, void *addr) argument 871 fsop_follow_link(struct bilbyfs_info *bi, struct inode *inode, char *path) argument 878 fsop_write_inode(struct bilbyfs_info *bi, struct inode *inode) argument 889 fsop_truncate(struct bilbyfs_info *bi, struct inode *inode, struct iattr *attr) argument 963 fsop_do_setattr(struct bilbyfs_info *bi, struct inode *inode, struct iattr *attr) argument 990 fsop_setattr(struct bilbyfs_info *bi, struct inode *inode, struct iattr *attr) argument 1006 fsop_getattr(struct bilbyfs_info *bi, struct inode *inode, struct kstat *stat) argument 1045 fsop_evict_inode(struct bilbyfs_info *bi, struct inode *inode) argument 1080 fsop_statfs(struct bilbyfs_info *bi, struct kstatfs *kstat) argument 1110 fsop_sync_fs(struct bilbyfs_info *bi, struct super_block *sb, int wait) argument 1128 fsop_format_default(struct bilbyfs_info *bi, struct inode *root) argument 1145 fsop_fill_super(struct bilbyfs_info *bi, struct super_block *sb, int silent, ino_t *rootino, struct inode *root) argument 1202 fsop_init(struct bilbyfs_info *bi, const char *name, char *bd_name) argument 1241 fsop_unmount(struct bilbyfs_info *bi) argument 1252 fsop_clean(struct bilbyfs_info *bi) argument [all...] |
H A D | bilbyfs.h | 829 static inline u64 next_sqnum(struct bilbyfs_info *bi) argument 841 static inline u32 next_inum(struct bilbyfs_info *bi) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 43 seL4_BootInfo *bi = data; local 66 seL4_BootInfo *bi = data; local
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/ |
H A D | example_bootstrap.c | 61 seL4_BootInfo *bi = seL4_GetBootInfo(); local 82 seL4_BootInfo *bi = seL4_GetBootInfo(); local 138 seL4_BootInfo *bi = seL4_GetBootInfo(); local 206 seL4_BootInfo *bi = seL4_GetBootInfo(); local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 31 seL4_BootInfo *bi = (seL4_BootInfo *) data; local 47 seL4_BootInfo *bi local 74 seL4_BootInfo *bi = data; local 87 seL4_BootInfo *bi = data; local 146 seL4_BootInfo *bi = data; local 175 seL4_BootInfo *bi = data; local 217 seL4_BootInfo *bi = data; local 235 seL4_BootInfo *bi = data; local 256 simple_default_init_bootinfo(simple_t *simple, seL4_BootInfo *bi) argument [all...] |
/seL4-camkes-master/projects/lwip/src/netif/ppp/ |
H A D | utils.c | 411 struct buffer_info *bi; local
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/os/linux/ |
H A D | wrapper.c | 75 static struct inode *bilbyfs_iget(struct bilbyfs_info *bi, unsigned long inum) argument 101 struct bilbyfs_info *bi = dir->i_sb->s_fs_info; local 159 struct bilbyfs_info *bi = dir->i_sb->s_fs_info; local 176 struct bilbyfs_info *bi = dir->i_sb->s_fs_info; local 200 struct bilbyfs_info *bi = dir->i_sb->s_fs_info; local 213 struct bilbyfs_info *bi = dir->i_sb->s_fs_info; local 227 struct bilbyfs_info *bi = dir->i_sb->s_fs_info; local 253 struct bilbyfs_info *bi = dir->i_sb->s_fs_info; local 278 struct bilbyfs_info *bi = dir->i_sb->s_fs_info; local 290 struct bilbyfs_info *bi = inode->i_sb->s_fs_info; local 309 struct bilbyfs_info *bi = dir->i_sb->s_fs_info; local 338 struct bilbyfs_info *bi = old_dir->i_sb->s_fs_info; local 358 struct bilbyfs_info *bi = inode->i_sb->s_fs_info; local 377 struct bilbyfs_info *bi = inode->i_sb->s_fs_info; local 414 struct bilbyfs_info *bi = inode->i_sb->s_fs_info; local 456 struct bilbyfs_info *bi = inode->i_sb->s_fs_info; local 541 struct bilbyfs_info *bi = inode->i_sb->s_fs_info; local 580 struct bilbyfs_info *bi = dentry->d_inode->i_sb->s_fs_info; local 609 struct bilbyfs_info *bi = dentry->d_inode->i_sb->s_fs_info; local 634 struct bilbyfs_info *bi = inode->i_sb->s_fs_info; local 682 struct bilbyfs_info *bi = inode->i_sb->s_fs_info; local 703 struct bilbyfs_info *bi = inode->i_sb->s_fs_info; local 794 struct bilbyfs_info *bi = dentry->d_inode->i_sb->s_fs_info; local 805 struct bilbyfs_info *bi = sb->s_fs_info; local 821 bilbyfs_unmount(struct bilbyfs_info *bi) argument 831 struct bilbyfs_info *bi = sb->s_fs_info; local 918 bilbyfs_parse_options(struct bilbyfs_info *bi, char *options) argument 951 struct bilbyfs_info *bi = sb->s_fs_info; local 1032 struct bilbyfs_info *bi = sb->s_fs_info; local 1059 struct bilbyfs_info *bi; local 1110 struct bilbyfs_info *bi = sb->s_fs_info; local 1157 struct bilbyfs_info *bi = inode->i_sb->s_fs_info; local 1199 struct bilbyfs_inode *bi = obj; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 118 static int bootstrap_create_temp_bootinfo_cspace_at(bootstrap_info_t *bs, seL4_BootInfo *bi, seL4_CPtr root_cnode) { argument 133 static int bootstrap_create_temp_bootinfo_cspace(bootstrap_info_t *bs, seL4_BootInfo *bi) { argument 211 int bootstrap_add_untypeds_from_bootinfo(bootstrap_info_t *bs, seL4_BootInfo *bi) { argument 877 _start_new_from_bootinfo(seL4_BootInfo *bi, size_t pool_size, void *pool) argument 916 bootstrap_new_1level_bootinfo(seL4_BootInfo *bi, size_t cnode_size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace) argument 937 bootstrap_new_2level_bootinfo(seL4_BootInfo *bi, size_t l1size, size_t l2size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace) argument 1227 allocman_add_bootinfo_untypeds(allocman_t *alloc, seL4_BootInfo *bi) argument 1246 bootstrap_use_bootinfo(seL4_BootInfo *bi, size_t pool_size, void *pool) argument [all...] |
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 965 static void create_sched_ctrl_caps(seL4_BootInfo *bi) argument 1892 static void init_copy_addr(seL4_BootInfo *bi) argument 1906 static void cache_extended_bootinfo_headers(seL4_BootInfo *bi) argument [all...] |