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

12

/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/
H A Dchash.h18 #ifndef kmalloc
21 #define kmalloc malloc macro
H A Dcvector.h19 #ifndef kmalloc
22 #define kmalloc malloc macro
/seL4-refos-master/libs/libdatastruct/include/data_struct/
H A Dchash.h18 #ifndef kmalloc
21 #define kmalloc malloc macro
H A Dcvector.h19 #ifndef kmalloc
22 #define kmalloc malloc macro
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dcommon.h47 #define kmalloc malloc macro
/seL4-refos-master/apps/process_server/src/
H A Dcommon.h47 #define kmalloc malloc macro
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/
H A Dcqueue.c19 q->data = kmalloc(sizeof(cqueue_item_t) * maxSize);
H A Dcvector.c45 v->data = kmalloc(sizeof(cvector_item_t) * v->size);
H A Dcbpool.c36 p->bitmap = kmalloc(p->size_ntiles * sizeof(uint32_t));
H A Dchash.c123 entry = kmalloc(sizeof(chash_entry_t));
/seL4-refos-master/libs/libdatastruct/src/
H A Dcqueue.c19 q->data = kmalloc(sizeof(cqueue_item_t) * maxSize);
H A Dcvector.c45 v->data = kmalloc(sizeof(cvector_item_t) * v->size);
H A Dcbpool.c36 p->bitmap = kmalloc(p->size_ntiles * sizeof(uint32_t));
H A Dchash.c123 entry = kmalloc(sizeof(chash_entry_t));
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dpid.c48 p->pcbs[pid] = kmalloc(sizeof(struct proc_pcb));
H A Dproc_client_watch.c95 cspacepath_t *cslot = kmalloc(sizeof(cspacepath_t));
/seL4-refos-master/apps/process_server/src/system/process/
H A Dpid.c48 p->pcbs[pid] = kmalloc(sizeof(struct proc_pcb));
H A Dproc_client_watch.c95 cspacepath_t *cslot = kmalloc(sizeof(cspacepath_t));
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_memserv.c260 char *srcBuf = kmalloc(testBufSize);
263 char *testBufA = kmalloc(testBufSize);
266 char *testBufB = kmalloc(testBufSize);
411 char *buf = kmalloc(REFOS_PAGE_SIZE * 3);
412 char *outbuf = kmalloc(REFOS_PAGE_SIZE * 3);
/seL4-refos-master/apps/process_server/src/test/
H A Dtest_memserv.c260 char *srcBuf = kmalloc(testBufSize);
263 char *testBufA = kmalloc(testBufSize);
266 char *testBufB = kmalloc(testBufSize);
411 char *buf = kmalloc(REFOS_PAGE_SIZE * 3);
412 char *outbuf = kmalloc(REFOS_PAGE_SIZE * 3);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/
H A Ddataspace.c60 ndspace->pages = kmalloc(sizeof(vka_object_t) * ndspace->npages);
586 dataspace->contentInitBitmask = kmalloc(nbitmask * sizeof(uint32_t));
656 struct ram_dspace_waiter* waiter = kmalloc(sizeof(struct ram_dspace_waiter));
H A Dwindow.c83 struct w_window *nw = kmalloc(sizeof(struct w_window));
312 aw->associated = kmalloc(sizeof(struct w_associated_window) * aw->associatedVectorSize);
H A Dringbuffer.c78 struct rb_buffer *newRingBuffer = kmalloc(sizeof(struct rb_buffer));
/seL4-refos-master/apps/process_server/src/system/memserv/
H A Ddataspace.c60 ndspace->pages = kmalloc(sizeof(vka_object_t) * ndspace->npages);
586 dataspace->contentInitBitmask = kmalloc(nbitmask * sizeof(uint32_t));
656 struct ram_dspace_waiter* waiter = kmalloc(sizeof(struct ram_dspace_waiter));
H A Dwindow.c83 struct w_window *nw = kmalloc(sizeof(struct w_window));
312 aw->associated = kmalloc(sizeof(struct w_associated_window) * aw->associatedVectorSize);

Completed in 106 milliseconds

12