Searched refs:get_vspace_bootstrap (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 292 static int get_vspace_bootstrap(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, function
318 return get_vspace_bootstrap(loader, new_vspace, data, map_page);
333 return get_vspace_bootstrap(loader, new_vspace, data, map_page);
355 return get_vspace_bootstrap(loader, new_vspace, data, sel4utils_map_page_pd);
|
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 292 static int get_vspace_bootstrap(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, function
318 return get_vspace_bootstrap(loader, new_vspace, data, map_page);
333 return get_vspace_bootstrap(loader, new_vspace, data, map_page);
355 return get_vspace_bootstrap(loader, new_vspace, data, sel4utils_map_page_pd);
|
Completed in 98 milliseconds