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

/seL4-camkes-master/projects/seL4_libs/libsel4vka/src/
H A Dnull-vka.c40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, function
H A Ddebug-vka.c228 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dvka.h135 vka_utspace_alloc_maybe_device_fn utspace_alloc_maybe_device; member in struct:vka

Completed in 28 milliseconds