Searched refs:allocman_create (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h279 int allocman_create(allocman_t *alloc, struct mspace_interface mspace);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c210 error = allocman_create(alloc, mspace_malloc_interface);
H A Dallocman.c423 int allocman_create(allocman_t *alloc, struct mspace_interface mspace) { function
H A Dbootstrap.c104 error = allocman_create(alloc, mspace_dual_pool_make_interface(mspace));

Completed in 38 milliseconds