Searched refs:cspace_make_path (Results 1 - 12 of 12) sorted by relevance
| /seL4-refos-master/libs/libsel4vka/src/ |
| H A D | null-vka.c | 26 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) function
68 .cspace_make_path = cspace_make_path,
|
| H A D | debug-vka.c | 162 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) function
168 v->cspace_make_path(v->data, slot, res);
215 * previously returned from cspace_make_path, but there seems to be nothing
251 * previously returned from cspace_make_path, but there seems to be nothing
332 vka->cspace_make_path = cspace_make_path;
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | null-vka.c | 26 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) function
68 .cspace_make_path = cspace_make_path,
|
| H A D | debug-vka.c | 162 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) function
168 v->cspace_make_path(v->data, slot, res);
215 * previously returned from cspace_make_path, but there seems to be nothing
251 * previously returned from cspace_make_path, but there seems to be nothing
332 vka->cspace_make_path = cspace_make_path;
|
| /seL4-refos-master/libs/libsel4vka/include/vka/ |
| H A D | vka.h | 133 vka_cspace_make_path_fn cspace_make_path; member in struct:vka
173 if (!vka->cspace_make_path) {
177 vka->cspace_make_path(vka->data, slot, res);
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | vka.h | 133 vka_cspace_make_path_fn cspace_make_path; member in struct:vka
173 if (!vka->cspace_make_path) {
177 vka->cspace_make_path(vka->data, slot, res);
|
| /seL4-refos-master/libs/libsel4simple/src/ |
| H A D | simple.c | 76 vka->cspace_make_path = &simple_vka_cspace_make_path;
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple/src/ |
| H A D | simple.c | 76 vka->cspace_make_path = &simple_vka_cspace_make_path;
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | vka.c | 195 vka->cspace_make_path = &am_vka_cspace_make_path;
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | vka.c | 195 vka->cspace_make_path = &am_vka_cspace_make_path;
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | slab.c | 195 slab_vka->cspace_make_path = delegate_cspace_make_path;
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | slab.c | 195 slab_vka->cspace_make_path = delegate_cspace_make_path;
|
Completed in 119 milliseconds