Searched refs:cbpool_release (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/
H A Dcbpool.h31 void cbpool_release(cbpool_t *p);
/seL4-refos-master/libs/libdatastruct/include/data_struct/
H A Dcbpool.h31 void cbpool_release(cbpool_t *p);
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/
H A Dcbpool.c41 void cbpool_release(cbpool_t *p) { function
/seL4-refos-master/libs/libdatastruct/src/
H A Dcbpool.c41 void cbpool_release(cbpool_t *p) { function
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dwalloc.c62 cbpool_release(&ws->pool);
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dwalloc.c62 cbpool_release(&ws->pool);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest.c204 cbpool_release(&p);
/seL4-refos-master/apps/process_server/src/test/
H A Dtest.c204 cbpool_release(&p);

Completed in 52 milliseconds