/seL4-refos-master/libs/libsel4utils/src/ |
H A D | mapping.c | 24 static int map_page(vka_t *vka, vspace_map_page_fn_t map_page_fn, vspace_get_map_obj_fn map_obj_fn, function 82 return map_page(vka, seL4_ARCH_Page_Map, vspace_get_map_obj, vspace_root, frame, vaddr, rights, 91 return map_page(vka, vspace_iospace_map_page, vspace_get_iospace_map_obj, iospace, frame, (void *) vaddr, rights, 104 int error = map_page(vka, seL4_X86_Page_MapEPT, vspace_get_ept_map_obj, pd, frame, (void *) vaddr, rights, cacheable,
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | mapping.c | 24 static int map_page(vka_t *vka, vspace_map_page_fn_t map_page_fn, vspace_get_map_obj_fn map_obj_fn, function 82 return map_page(vka, seL4_ARCH_Page_Map, vspace_get_map_obj, vspace_root, frame, vaddr, rights, 91 return map_page(vka, vspace_iospace_map_page, vspace_get_iospace_map_obj, iospace, frame, (void *) vaddr, rights, 104 int error = map_page(vka, seL4_X86_Page_MapEPT, vspace_get_ept_map_obj, pd, frame, (void *) vaddr, rights, cacheable,
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 58 static void common_init_post_bootstrap(vspace_t *vspace, sel4utils_map_page_fn map_page) argument 70 data->map_page = map_page; 293 sel4utils_map_page_fn map_page) 303 common_init_post_bootstrap(new_vspace, map_page); 310 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) 318 return get_vspace_bootstrap(loader, new_vspace, data, map_page); 323 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) 333 return get_vspace_bootstrap(loader, new_vspace, data, map_page); 292 get_vspace_bootstrap(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, sel4utils_map_page_fn map_page) argument 308 sel4utils_get_vspace_with_map(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, sel4utils_map_page_fn map_page) argument 321 sel4utils_get_empty_vspace_with_map(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, sel4utils_map_page_fn map_page) argument
|
H A D | vspace.c | 229 static int map_page(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, function 233 return data->map_page(vspace, cap, vaddr, rights, cacheable, size_bits); 295 error = map_page(vspace, caps[i], vaddr, rights, cacheable, size_bits); 323 error = map_page(vspace, object.cptr, vaddr, rights, cacheable, size_bits); 871 error = map_page(to, to_path.capPtr, (void *) to_vaddr, res->rights, res->cacheable, size_bits);
|
/seL4-refos-master/libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 58 static void common_init_post_bootstrap(vspace_t *vspace, sel4utils_map_page_fn map_page) argument 70 data->map_page = map_page; 293 sel4utils_map_page_fn map_page) 303 common_init_post_bootstrap(new_vspace, map_page); 310 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) 318 return get_vspace_bootstrap(loader, new_vspace, data, map_page); 323 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) 333 return get_vspace_bootstrap(loader, new_vspace, data, map_page); 292 get_vspace_bootstrap(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, sel4utils_map_page_fn map_page) argument 308 sel4utils_get_vspace_with_map(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, sel4utils_map_page_fn map_page) argument 321 sel4utils_get_empty_vspace_with_map(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, sel4utils_map_page_fn map_page) argument
|
H A D | vspace.c | 229 static int map_page(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, function 233 return data->map_page(vspace, cap, vaddr, rights, cacheable, size_bits); 295 error = map_page(vspace, caps[i], vaddr, rights, cacheable, size_bits); 323 error = map_page(vspace, object.cptr, vaddr, rights, cacheable, size_bits); 871 error = map_page(to, to_path.capPtr, (void *) to_vaddr, res->rights, res->cacheable, size_bits);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 81 sel4utils_map_page_fn map_page; member in struct:sel4utils_alloc_data 105 * @param map_page Function that will be called to map seL4 pages 112 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page); 127 * @param map_page Function that will be called to map seL4 pages 134 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page);
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 81 sel4utils_map_page_fn map_page; member in struct:sel4utils_alloc_data 105 * @param map_page Function that will be called to map seL4 pages 112 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page); 127 * @param map_page Function that will be called to map seL4 pages 134 vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page);
|