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

12

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dcommon.h49 #define kfree free macro
/seL4-refos-master/apps/process_server/src/
H A Dcommon.h49 #define kfree free macro
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/
H A Dchash.h23 #define kfree free macro
H A Dcvector.h24 #define kfree free macro
/seL4-refos-master/libs/libdatastruct/include/data_struct/
H A Dchash.h23 #define kfree free macro
H A Dcvector.h24 #define kfree free macro
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/
H A Dcqueue.c51 kfree(q->data);
H A Dchash.c67 kfree(entry);
141 kfree(entry);
H A Dcvector.c92 if (v->data) kfree(v->data);
H A Dcbpool.c44 kfree(p->bitmap);
/seL4-refos-master/libs/libdatastruct/src/
H A Dcqueue.c51 kfree(q->data);
H A Dchash.c67 kfree(entry);
141 kfree(entry);
H A Dcvector.c92 if (v->data) kfree(v->data);
H A Dcbpool.c44 kfree(p->bitmap);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dpid.c69 kfree(p->pcbs[pid]);
H A Dproc_client_watch.c33 kfree(ep);
H A Dprocess.c283 kfree(thread);
421 kfree(thread);
633 kfree(thread);
/seL4-refos-master/apps/process_server/src/system/process/
H A Dpid.c69 kfree(p->pcbs[pid]);
H A Dproc_client_watch.c33 kfree(ep);
H A Dprocess.c283 kfree(thread);
421 kfree(thread);
633 kfree(thread);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/
H A Ddataspace.c120 kfree(rds->contentInitBitmask);
144 kfree(waiter);
165 kfree(rds->pages);
564 kfree(dataspace->contentInitBitmask);
604 kfree(waiter);
730 kfree(waiter);
H A Dwindow.c136 kfree(window);
377 kfree(aw->associated);
/seL4-refos-master/apps/process_server/src/system/memserv/
H A Ddataspace.c120 kfree(rds->contentInitBitmask);
144 kfree(waiter);
165 kfree(rds->pages);
564 kfree(dataspace->contentInitBitmask);
604 kfree(waiter);
730 kfree(waiter);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_memserv.c292 kfree(testBufA);
293 kfree(testBufB);
294 kfree(srcBuf);
501 kfree(buf);
502 kfree(outbuf);
/seL4-refos-master/apps/process_server/src/test/
H A Dtest_memserv.c292 kfree(testBufA);
293 kfree(testBufB);
294 kfree(srcBuf);
501 kfree(buf);
502 kfree(outbuf);

Completed in 122 milliseconds

12