Searched refs:cspace_alloc (Results 1 - 12 of 12) sorted by relevance
| /seL4-refos-master/libs/libsel4vka/src/ |
| H A D | null-vka.c | 21 static int cspace_alloc(void *data, seL4_CPtr *res) function
67 .cspace_alloc = cspace_alloc,
|
| H A D | debug-vka.c | 114 static int cspace_alloc(void *data, seL4_CPtr *res) function
120 int result = v->cspace_alloc(v->data, res);
331 vka->cspace_alloc = cspace_alloc;
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | null-vka.c | 21 static int cspace_alloc(void *data, seL4_CPtr *res) function
67 .cspace_alloc = cspace_alloc,
|
| H A D | debug-vka.c | 114 static int cspace_alloc(void *data, seL4_CPtr *res) function
120 int result = v->cspace_alloc(v->data, res);
331 vka->cspace_alloc = cspace_alloc;
|
| /seL4-refos-master/libs/libsel4vka/include/vka/ |
| H A D | vka.h | 132 vka_cspace_alloc_fn cspace_alloc; member in struct:vka
154 if (!vka->cspace_alloc) {
159 return vka->cspace_alloc(vka->data, res);
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | vka.h | 132 vka_cspace_alloc_fn cspace_alloc; member in struct:vka
154 if (!vka->cspace_alloc) {
159 return vka->cspace_alloc(vka->data, res);
|
| /seL4-refos-master/libs/libsel4simple/src/ |
| H A D | simple.c | 75 vka->cspace_alloc = &simple_vka_cspace_alloc;
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple/src/ |
| H A D | simple.c | 75 vka->cspace_alloc = &simple_vka_cspace_alloc;
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | vka.c | 194 vka->cspace_alloc = &am_vka_cspace_alloc;
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | vka.c | 194 vka->cspace_alloc = &am_vka_cspace_alloc;
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | slab.c | 194 slab_vka->cspace_alloc = delegate_cspace_alloc;
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | slab.c | 194 slab_vka->cspace_alloc = delegate_cspace_alloc;
|
Completed in 47 milliseconds