Searched refs:cvector_reset (Results 1 - 8 of 8) sorted by path

/seL4-refos-master/apps/process_server/src/system/addrspace/
H A Dvspace.c170 cvector_reset(&vs->kobjVSpaceAllocatedFreelist);
/seL4-refos-master/libs/libdatastruct/include/data_struct/
H A Dcvector.h52 void cvector_reset(cvector_t *v);
/seL4-refos-master/libs/libdatastruct/src/
H A Dcvector.c97 cvector_reset(cvector_t *v) function
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dserv_connect.c146 cvector_reset(&ct->pendingFreeList);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/
H A Dvspace.c170 cvector_reset(&vs->kobjVSpaceAllocatedFreelist);
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/
H A Dcvector.h52 void cvector_reset(cvector_t *v);
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/
H A Dcvector.c97 cvector_reset(cvector_t *v) function
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dserv_connect.c146 cvector_reset(&ct->pendingFreeList);

Completed in 43 milliseconds