Searched refs:kmalloc (Results 1 - 13 of 13) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/
H A Dadt.h6 #define kmalloc(size) malloc(size) macro
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/wa_example/
H A Dadt.h7 #define kmalloc(size) malloc(size) macro
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/
H A Dwrapper.h33 #define kmalloc(sz) kmalloc(sz, GFP_NOFS) macro
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/os/linux/
H A Dwrapper.h25 #define kmalloc(sz) kmalloc(sz, GFP_NOFS) macro
H A Dwrapper.c586 inode->i_private = kmalloc(PATH_MAX);
613 inode->i_link = kmalloc(PATH_MAX);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Dgc.c48 list = kmalloc(sizeof(struct obj_ch *) *list_limit);
57 valid_list = kmalloc(sizeof(struct obj_ch *) * list_limit);
H A Ddentarr.c78 copy_dentarr = kmalloc(len);
132 dentarr = kmalloc(size);
159 dentarr = kmalloc(BILBYFS_DENTARR_SZ + BILBYFS_MAX_DENTRY_SZ);
H A Dfsm.c18 bi->dirty_list = kmalloc(sizeof(*bi->dirty_list) * nb_leb);
21 bi->used_leb_list = kmalloc(sizeof(*bi->used_leb_list) * nb_leb);
H A Dfsop.c134 dent = kmalloc(BILBYFS_MAX_DENTRY_SZ);
506 *rdx = kmalloc(BILBYFS_MAX_READDIR_DATA_SIZE);
573 data = kmalloc(BILBYFS_MAX_DATA_SZ);
730 bak = kmalloc(sizeof(*bak) * 4);
916 data = kmalloc(BILBYFS_BLOCK_SIZE);
1208 bi->odata = kmalloc(BILBYFS_MAX_DATA_SZ);
H A Dostore.c254 olist = kmalloc(sizeof(*olist) * NOBJ);
285 olist2 = kmalloc(sizeof(*olist) * NOBJ);
777 node = kmalloc(sizeof(*node));
1118 bi->addrs = kmalloc(sizeof(*(bi->addrs)) * BILBYFS_MAX_OBJ_PER_TRANS);
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/
H A Dkhash.h182 #ifndef kmalloc
183 #define kmalloc(Z) malloc(Z) macro
260 new_flags = (khint32_t*)kmalloc(__ac_fsize(new_n_buckets) * sizeof(khint32_t)); \
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/
H A Dfsm_wrapper_pp_inferred.c579 WordArray_u8 *array = kmalloc(sizeof(*array));
604 WordArray_u32 *array = kmalloc(sizeof(*array));
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/
H A Dmodule.c718 slots = kmalloc(sizeof(*slots) * MSDOS_SLOTS, GFP_NOFS);

Completed in 72 milliseconds