Searched refs:utspace_alloc_maybe_device (Results 1 - 12 of 12) sorted by relevance
/seL4-refos-master/libs/libsel4vka/src/ |
H A D | null-vka.c | 40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, function 70 .utspace_alloc_maybe_device = utspace_alloc_maybe_device,
|
H A D | debug-vka.c | 228 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, function 236 int result = v->utspace_alloc_maybe_device(v->data, dest, type, size_bits, can_use_dev, res); 334 vka->utspace_alloc_maybe_device = utspace_alloc_maybe_device;
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
H A D | null-vka.c | 40 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, function 70 .utspace_alloc_maybe_device = utspace_alloc_maybe_device,
|
H A D | debug-vka.c | 228 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, function 236 int result = v->utspace_alloc_maybe_device(v->data, dest, type, size_bits, can_use_dev, res); 334 vka->utspace_alloc_maybe_device = utspace_alloc_maybe_device;
|
/seL4-refos-master/libs/libsel4vka/include/vka/ |
H A D | vka.h | 135 vka_utspace_alloc_maybe_device_fn utspace_alloc_maybe_device; member in struct:vka 251 if (!vka->utspace_alloc_maybe_device) { 256 return vka->utspace_alloc_maybe_device(vka->data, dest, type, size_bits, can_use_dev, res);
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | vka.h | 135 vka_utspace_alloc_maybe_device_fn utspace_alloc_maybe_device; member in struct:vka 251 if (!vka->utspace_alloc_maybe_device) { 256 return vka->utspace_alloc_maybe_device(vka->data, dest, type, size_bits, can_use_dev, res);
|
/seL4-refos-master/libs/libsel4simple/src/ |
H A D | simple.c | 78 vka->utspace_alloc_maybe_device = NULL;
|
/seL4-refos-master/projects/seL4_libs/libsel4simple/src/ |
H A D | simple.c | 78 vka->utspace_alloc_maybe_device = NULL;
|
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | vka.c | 197 vka->utspace_alloc_maybe_device = &am_vka_utspace_alloc_maybe_device;
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | vka.c | 197 vka->utspace_alloc_maybe_device = &am_vka_utspace_alloc_maybe_device;
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | slab.c | 199 slab_vka->utspace_alloc_maybe_device = slab_utspace_alloc_maybe_device;
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | slab.c | 199 slab_vka->utspace_alloc_maybe_device = slab_utspace_alloc_maybe_device;
|
Completed in 44 milliseconds