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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dvka.h25 void allocman_make_vka(vka_t *vka, allocman_t *alloc);
/seL4-camkes-master/projects/global-components/components/modules/dynamic-untyped-allocators/templates/
H A Ddynamic-untyped-allocators.template.c59 allocman_make_vka(&vka, allocman);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c188 void allocman_make_vka(vka_t *vka, allocman_t *alloc) function
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/
H A Dexample_bootstrap.c45 allocman_make_vka(vka, allocman);
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c167 allocman_make_vka(&env->vka, allocator);

Completed in 86 milliseconds