Searched refs:am_vka_cspace_alloc (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ | ||
H A D | vka.c | 32 static int am_vka_cspace_alloc(void *data, seL4_CPtr *res) function 194 vka->cspace_alloc = &am_vka_cspace_alloc; |
Completed in 74 milliseconds