Searched refs:cspace_free (Results 1 - 12 of 12) sorted by relevance
/seL4-refos-master/libs/libsel4vka/src/ |
H A D | null-vka.c | 30 static void cspace_free(void *data, seL4_CPtr slot) function 72 .cspace_free = cspace_free,
|
H A D | debug-vka.c | 142 static void cspace_free(void *data, seL4_CPtr slot) function 156 v->cspace_free(v->data, slot); 336 vka->cspace_free = cspace_free;
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
H A D | null-vka.c | 30 static void cspace_free(void *data, seL4_CPtr slot) function 72 .cspace_free = cspace_free,
|
H A D | debug-vka.c | 142 static void cspace_free(void *data, seL4_CPtr slot) function 156 v->cspace_free(v->data, slot); 336 vka->cspace_free = cspace_free;
|
/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | vka.h | 137 vka_cspace_free_fn cspace_free; member in struct:vka 204 if (!vka->cspace_free) { 209 vka->cspace_free(vka->data, slot);
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | vka.h | 137 vka_cspace_free_fn cspace_free; member in struct:vka 204 if (!vka->cspace_free) { 209 vka->cspace_free(vka->data, slot);
|
/seL4-refos-master/libs/libsel4simple/src/ |
H A D | simple.c | 79 vka->cspace_free = NULL;
|
/seL4-refos-master/projects/seL4_libs/libsel4simple/src/ |
H A D | simple.c | 79 vka->cspace_free = NULL;
|
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | vka.c | 199 vka->cspace_free = &am_vka_cspace_free;
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | vka.c | 199 vka->cspace_free = &am_vka_cspace_free;
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | slab.c | 196 slab_vka->cspace_free = delegate_cspace_free;
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | slab.c | 196 slab_vka->cspace_free = delegate_cspace_free;
|
Completed in 106 milliseconds