Searched refs:utspace_alloc (Results 1 - 6 of 6) sorted by relevance

/seL4-test-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
69 .utspace_alloc = utspace_alloc,
H A Ddebug-vka.c207 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, function
221 int result = v->utspace_alloc(v->data, dest, type, size_bits, res);
333 vka->utspace_alloc = utspace_alloc;
/seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dvka.h134 vka_utspace_alloc_fn utspace_alloc; member in struct:vka
230 if (!vka->utspace_alloc) {
235 return vka->utspace_alloc(vka->data, dest, type, size_bits, res);
/seL4-test-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c77 vka->utspace_alloc = NULL;
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c196 vka->utspace_alloc = &am_vka_utspace_alloc;
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dslab.c198 slab_vka->utspace_alloc = slab_utspace_alloc;

Completed in 35 milliseconds