Searched refs:map_page (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/libs/libsel4utils/src/
H A Dmapping.c24 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 Dmapping.c24 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 Dbootstrap.c58 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 Dvspace.c229 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 Dbootstrap.c58 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 Dvspace.c229 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 Dvspace.h81 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 Dvspace.h81 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);

Completed in 51 milliseconds