| /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, argument
303 common_init_post_bootstrap(new_vspace, map_page);
308 int sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, argument
312 new_vspace->data = (void *) data;
314 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
318 return get_vspace_bootstrap(loader, new_vspace, data, map_page);
321 int sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, argument
326 new_vspace->data = (void *) data;
328 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
333 return get_vspace_bootstrap(loader, new_vspace, dat
336 sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
344 sel4utils_get_empty_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
360 sel4utils_get_vspace_ept(vspace_t *loader, vspace_t *new_vspace, vka_t *vka, seL4_CPtr ept, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
[all...] |
| /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, argument
303 common_init_post_bootstrap(new_vspace, map_page);
308 int sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, argument
312 new_vspace->data = (void *) data;
314 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
318 return get_vspace_bootstrap(loader, new_vspace, data, map_page);
321 int sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, argument
326 new_vspace->data = (void *) data;
328 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
333 return get_vspace_bootstrap(loader, new_vspace, dat
336 sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
344 sel4utils_get_empty_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
360 sel4utils_get_vspace_ept(vspace_t *loader, vspace_t *new_vspace, vka_t *vka, seL4_CPtr ept, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace.h | 98 * @param new_vspace uninitialised vspace struct to populate.
110 sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
120 * @param new_vspace uninitialised vspace struct to populate.
132 sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
140 * @param new_vspace uninitialised vspace struct to populate.
150 int sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
161 * @param new_vspace uninitialised vspace struct to populate.
171 int sel4utils_get_empty_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
182 * @param new_vspace uninitialised vspace struct to populate.
191 int sel4utils_get_vspace_ept(vspace_t *loader, vspace_t *new_vspace, vka_
243 sel4utils_get_vspace_leaky(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root) argument
251 sel4utils_get_vspace_ept_leaky(vspace_t *loader, vspace_t *new_vspace, vka_t *vka, seL4_CPtr vspace_root) argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace.h | 98 * @param new_vspace uninitialised vspace struct to populate.
110 sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
120 * @param new_vspace uninitialised vspace struct to populate.
132 sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
140 * @param new_vspace uninitialised vspace struct to populate.
150 int sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
161 * @param new_vspace uninitialised vspace struct to populate.
171 int sel4utils_get_empty_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data,
182 * @param new_vspace uninitialised vspace struct to populate.
191 int sel4utils_get_vspace_ept(vspace_t *loader, vspace_t *new_vspace, vka_
243 sel4utils_get_vspace_leaky(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root) argument
251 sel4utils_get_vspace_ept_leaky(vspace_t *loader, vspace_t *new_vspace, vka_t *vka, seL4_CPtr vspace_root) argument
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 187 void copyGlobalMappings(vspace_root_t *new_vspace) argument
190 pde_t *newPD = (pde_t *)new_vspace;
|
| /seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 79 void copyGlobalMappings(vspace_root_t *new_vspace);
|
| /seL4-refos-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 748 void copyGlobalMappings(vspace_root_t *new_vspace) argument
751 pml4e_t *vspace = (pml4e_t *)new_vspace;
|