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

/seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/
H A Dvka.h49 static inline struct cspace_interface cspace_vka_make_interface(vka_t *vka) { function
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/
H A Dvka.h49 static inline struct cspace_interface cspace_vka_make_interface(vka_t *vka) { function
/seL4-refos-master/libs/libsel4allocman/src/
H A Dvka.c216 error = allocman_attach_cspace(alloc, cspace_vka_make_interface(vka));
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c216 error = allocman_attach_cspace(alloc, cspace_vka_make_interface(vka));

Completed in 29 milliseconds