Searched defs:utspace_alloc (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4vka/src/
H A Dnull-vka.c34 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, function
H A Ddebug-vka.c207 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dvka.h134 vka_utspace_alloc_fn utspace_alloc; member in struct:vka

Completed in 32 milliseconds