Searched refs:kfree (Results 1 - 18 of 18) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Dgc.c53 kfree(list);
59 kfree(list);
73 kfree(valid_list);
75 kfree(list);
82 kfree(list);
83 kfree(valid_list);
91 kfree(list);
H A Ddentarr.c86 kfree(copy_dentarr);
97 kfree(copy_dentarr);
138 kfree(dentarr);
144 kfree(dentarr);
H A Drdx.c24 kfree(rdx->dentarr);
35 kfree(rdx->dentarr);
H A Dfsm.c23 kfree(bi->dirty_list);
59 kfree(bi->dirty_list);
60 kfree(bi->used_leb_list);
H A Dfsop.c120 kfree(dentarr);
141 kfree(dent);
207 kfree(dentarr);
298 kfree(dentarr);
344 kfree(dentarr);
417 kfree(dentarr);
466 kfree(dentarr);
538 kfree(rdx);
592 kfree(data);
599 kfree(dentar
[all...]
H A Didx.c40 kfree(node);
114 kfree(allocated_node);
H A Dallocpool.c36 kfree(pool->arr);
H A Dostore.c263 kfree(olist);
290 kfree(olist);
291 kfree(olist2);
318 kfree(olist2);
319 kfree(olist);
797 kfree(curr);
1123 kfree(bi->addrs);
1128 kfree(bi->addrs);
H A Dgim.c103 kfree(allocated_node);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/
H A Dadt.h8 #define kfree(obj) free(obj) macro
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/wa_example/
H A Dadt.h9 #define kfree(obj) free(obj) macro
/seL4-camkes-master/projects/picotcp/include/arch/
H A Dpico_linux.h12 #define pico_free(x) kfree(x)
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/
H A Dkhash.h188 #ifndef kfree
189 #define kfree(P) free(P) macro
225 kfree((void *)h->keys); kfree(h->flags); \
226 kfree((void *)h->vals); \
227 kfree(h); \
265 if (!new_keys) { kfree(new_flags); return -1; } \
269 if (!new_vals) { kfree(new_flags); return -1; } \
306 kfree(h->flags); /* free the working space */ \
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/
H A Dmodule.c38 kfree(inode->i_private);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/
H A Dfsm_wrapper_pp_inferred.c587 kfree(array);
612 kfree(array);
629 kfree(array->values);
630 kfree(array);
638 kfree(array->values);
639 kfree(array);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/os/linux/
H A Dwrapper.c595 kfree(inode->i_private);
622 kfree(inode->i_link);
1076 kfree(bi);
1094 kfree(bi);
1117 kfree(bi);
1142 kfree(inode->i_link);
1149 kfree(inode->i_private);
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/
H A Dmodule.c725 kfree(slots);
732 kfree(slots);
742 kfree(slots);
H A Dinode.c651 kfree(sbi->options.iocharset);
652 kfree(sbi);
1218 kfree(opts->iocharset);
1799 kfree(sbi->options.iocharset);
1801 kfree(sbi);

Completed in 177 milliseconds