Searched refs:allocman_cspace_free (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Dvirtual_pool.c38 allocman_cspace_free(alloc, &frame_path);
57 allocman_cspace_free(alloc, &path);
64 allocman_cspace_free(alloc, &path);
69 allocman_cspace_free(alloc, &frame_path);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h205 void allocman_cspace_free(allocman_t *alloc, const cspacepath_t *slot);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c76 allocman_cspace_free((allocman_t *) data, &path);
H A Dallocman.c102 void allocman_cspace_free(allocman_t *alloc, const cspacepath_t *slot) function
161 allocman_cspace_free(alloc, &result.slot);
354 allocman_cspace_free(alloc, &slot);
396 allocman_cspace_free(alloc, &slot);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dsplit.c69 allocman_cspace_free(alloc, &node->ut);

Completed in 34 milliseconds