Searched defs:bi (Results 1 - 18 of 18) sorted by relevance

/seL4-camkes-master/kernel/libsel4/src/
H A Dsel4_bootinfo.c20 void seL4_InitBootInfo(seL4_BootInfo *bi) argument
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Drdx.c13 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 Dgc.c13 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 Ddentarr.c36 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 Dfsm.c13 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 Didx.c15 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 Dgim.c15 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 Dwbuf.c13 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 Dostore.c13 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 Dfsop.c43 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 Dbilbyfs.h829 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 Ddefault.c43 seL4_BootInfo *bi = data; local
66 seL4_BootInfo *bi = data; local
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/
H A Dexample_bootstrap.c61 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 Dlibsel4simple-default.c31 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 Dutils.c411 struct buffer_info *bi; local
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/os/linux/
H A Dwrapper.c75 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 Dbootstrap.c118 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 Dmain.c965 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...]

Completed in 102 milliseconds