Searched refs:sel4utils_bootstrap_vspace (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace.h | 214 int sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data,
270 return sel4utils_bootstrap_vspace(vspace, data, vspace_root, vka, NULL, NULL, existing_frames);
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace.h | 214 int sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data,
270 return sel4utils_bootstrap_vspace(vspace, data, vspace_root, vka, NULL, NULL, existing_frames);
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 373 int sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data, function
415 return sel4utils_bootstrap_vspace(vspace, data, vspace_root, vka, allocated_object_fn,
|
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 373 int sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data, function
415 return sel4utils_bootstrap_vspace(vspace, data, vspace_root, vka, allocated_object_fn,
|
Completed in 32 milliseconds