Searched refs:rights (Results 1 - 25 of 38) sorted by relevance

12

/seL4-refos-master/libs/libsel4vka/include/vka/
H A Dobject_capops.h28 vka_mint_object_inter_cspace(vka_t *src_vka, vka_object_t *object, vka_t *dest_vka, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge) argument
37 return vka_cnode_mint(result, &src, rights, badge);
46 * @param[in] rights the rights for the minted cap.
51 seL4_CapRights_t rights, seL4_Word badge)
53 return vka_mint_object_inter_cspace(vka, object, vka, result, rights, badge);
50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge) argument
H A Dcapops.h37 static inline int vka_cnode_copy(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights) argument
46 /* rights */ rights
60 seL4_CapRights_t rights, seL4_Word badge)
69 /* rights */ rights,
59 vka_cnode_mint(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights, seL4_Word badge) argument
/seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dobject_capops.h28 vka_mint_object_inter_cspace(vka_t *src_vka, vka_object_t *object, vka_t *dest_vka, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge) argument
37 return vka_cnode_mint(result, &src, rights, badge);
46 * @param[in] rights the rights for the minted cap.
51 seL4_CapRights_t rights, seL4_Word badge)
53 return vka_mint_object_inter_cspace(vka, object, vka, result, rights, badge);
50 vka_mint_object(vka_t *vka, vka_object_t *object, cspacepath_t *result, seL4_CapRights_t rights, seL4_Word badge) argument
H A Dcapops.h37 static inline int vka_cnode_copy(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights) argument
46 /* rights */ rights
60 seL4_CapRights_t rights, seL4_Word badge)
69 /* rights */ rights,
59 vka_cnode_mint(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights, seL4_Word badge) argument
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dmapping.h30 * @param rights permissions to map the page with
40 seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects);
44 seL4_CapRights_t rights, int cacheable)
48 return sel4utils_map_page(vka, pd, frame, vaddr, rights, cacheable, objects, &num);
78 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
84 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pagetable, vka_object_t *pagedir,
43 sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable) argument
H A Dvspace.h59 typedef int(*sel4utils_map_page_fn)(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights,
65 seL4_CapRights_t rights; member in struct:sel4utils_res
284 * @param rights the rights to map the pages in with in this reservation
291 seL4_CapRights_t rights, int cacheable, void **result);
297 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result);
309 * @param rights the rights to map the pages in with in this reservatio
315 size_t size, seL4_CapRights_t rights, int cacheable);
H A Delf.h32 seL4_CapRights_t rights; member in struct:sel4utils_elf_region
H A Dvspace_internal.h416 int sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
419 int sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
423 int sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
433 seL4_CapRights_t rights, size_t num_pages, size_t size_bits,
438 size_t num_pages, size_t size_bits, seL4_CapRights_t rights,
442 void *sel4utils_new_pages(vspace_t *vspace, seL4_CapRights_t rights,
447 reservation_t sel4utils_reserve_range_aligned(vspace_t *vspace, size_t size, size_t size_bits, seL4_CapRights_t rights,
450 seL4_CapRights_t rights, int cacheable);
H A Dprocess.h245 * As above, except mint the cap with rights and data.
249 seL4_CPtr sel4utils_mint_cap_to_process(sel4utils_process_t *process, cspacepath_t src, seL4_CapRights_t rights,
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dmapping.h30 * @param rights permissions to map the page with
40 seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects);
44 seL4_CapRights_t rights, int cacheable)
48 return sel4utils_map_page(vka, pd, frame, vaddr, rights, cacheable, objects, &num);
78 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
84 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pagetable, vka_object_t *pagedir,
43 sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable) argument
H A Dvspace.h59 typedef int(*sel4utils_map_page_fn)(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights,
65 seL4_CapRights_t rights; member in struct:sel4utils_res
284 * @param rights the rights to map the pages in with in this reservation
291 seL4_CapRights_t rights, int cacheable, void **result);
297 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result);
309 * @param rights the rights to map the pages in with in this reservatio
315 size_t size, seL4_CapRights_t rights, int cacheable);
H A Delf.h32 seL4_CapRights_t rights; member in struct:sel4utils_elf_region
H A Dvspace_internal.h416 int sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
419 int sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
423 int sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable,
433 seL4_CapRights_t rights, size_t num_pages, size_t size_bits,
438 size_t num_pages, size_t size_bits, seL4_CapRights_t rights,
442 void *sel4utils_new_pages(vspace_t *vspace, seL4_CapRights_t rights,
447 reservation_t sel4utils_reserve_range_aligned(vspace_t *vspace, size_t size, size_t size_bits, seL4_CapRights_t rights,
450 seL4_CapRights_t rights, int cacheable);
H A Dprocess.h245 * As above, except mint the cap with rights and data.
249 seL4_CPtr sel4utils_mint_cap_to_process(sel4utils_process_t *process, cspacepath_t src, seL4_CapRights_t rights,
/seL4-refos-master/libs/libsel4utils/src/
H A Dmapping.c25 seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights,
41 int error = map_page_fn(frame, root, (seL4_Word) vaddr, rights, attr);
71 error = map_page_fn(frame, root, (seL4_Word) vaddr, rights, attr);
80 seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects)
82 return map_page(vka, seL4_ARCH_Page_Map, vspace_get_map_obj, vspace_root, frame, vaddr, rights,
88 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
91 return map_page(vka, vspace_iospace_map_page, vspace_get_iospace_map_obj, iospace, frame, (void *) vaddr, rights,
99 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
104 int error = map_page(vka, seL4_X86_Page_MapEPT, vspace_get_ept_map_obj, pd, frame, (void *) vaddr, rights, cacheable,
24 map_page(vka_t *vka, vspace_map_page_fn_t map_page_fn, vspace_get_map_obj_fn map_obj_fn, seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
79 sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
87 sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pts, int *num_pts) argument
98 sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pagetable, vka_object_t *pagedir, vka_object_t *pdpt) argument
H A Delf.c240 regions[i].rights, regions[i].cacheable, (void **)&regions[i].reservation_vstart);
245 regions[i].rights,
274 ZF_LOGE("Regions do not have read rights.");
313 seL4_CapRights_t current_rights = regions[i].rights;
369 region->rights = rights_from_elf(elf_getProgramHeaderFlags(elf_file, i));
/seL4-refos-master/libs/libsel4vspace/src/
H A Dvspace.c76 seL4_CapRights_t rights, int cacheable)
82 rights, cacheable, &result);
102 seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie)
105 to_vaddr = vspace_share_mem(from, to, access_addr, 1, size_bits, rights, cacheable);
120 void *vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights) argument
126 rights, true, &config->vaddr);
130 rights, true);
149 seL4_CapRights_t rights, int cacheable, void **vaddr)
151 return vspace_reserve_range_aligned(vspace, bytes, seL4_PageBits, rights, cacheable, vaddr);
75 vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument
101 vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits, seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie) argument
148 vspace_reserve_range(vspace_t *vspace, size_t bytes, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dmapping.c25 seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights,
41 int error = map_page_fn(frame, root, (seL4_Word) vaddr, rights, attr);
71 error = map_page_fn(frame, root, (seL4_Word) vaddr, rights, attr);
80 seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects)
82 return map_page(vka, seL4_ARCH_Page_Map, vspace_get_map_obj, vspace_root, frame, vaddr, rights,
88 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
91 return map_page(vka, vspace_iospace_map_page, vspace_get_iospace_map_obj, iospace, frame, (void *) vaddr, rights,
99 seL4_CapRights_t rights, int cacheable, seL4_Word size_bits,
104 int error = map_page(vka, seL4_X86_Page_MapEPT, vspace_get_ept_map_obj, pd, frame, (void *) vaddr, rights, cacheable,
24 map_page(vka_t *vka, vspace_map_page_fn_t map_page_fn, vspace_get_map_obj_fn map_obj_fn, seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
79 sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
87 sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pts, int *num_pts) argument
98 sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr, seL4_CapRights_t rights, int cacheable, seL4_Word size_bits, vka_object_t *pagetable, vka_object_t *pagedir, vka_object_t *pdpt) argument
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/
H A Dvspace.c76 seL4_CapRights_t rights, int cacheable)
82 rights, cacheable, &result);
102 seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie)
105 to_vaddr = vspace_share_mem(from, to, access_addr, 1, size_bits, rights, cacheable);
120 void *vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights) argument
126 rights, true, &config->vaddr);
130 rights, true);
149 seL4_CapRights_t rights, int cacheable, void **vaddr)
151 return vspace_reserve_range_aligned(vspace, bytes, seL4_PageBits, rights, cacheable, vaddr);
75 vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument
101 vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits, seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie) argument
148 vspace_reserve_range(vspace_t *vspace, size_t bytes, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
/seL4-refos-master/libs/libsel4vspace/include/vspace/
H A Dmapping.h23 seL4_CapRights_t rights, seL4_Word attr);
26 seL4_CapRights_t rights, UNUSED seL4_Word attr)
29 return seL4_ARCH_Page_MapIO(cap, root, rights, vaddr);
25 vspace_iospace_map_page(seL4_CPtr cap, seL4_CPtr root, seL4_Word vaddr, seL4_CapRights_t rights, UNUSED seL4_Word attr) argument
H A Dvspace.h100 * @param rights the rights to map the pages in with in this reservation
107 seL4_CapRights_t rights, int cacheable, void **vaddr);
121 * @param rights rights to map pages into the to vspace with.
127 size_t size_bits, seL4_CapRights_t rights, int cacheable);
136 * @param rights the rights to map the pages in with
140 void *vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights);
178 * @param rights right
517 vspace_new_pages(vspace_t *vspace, seL4_CapRights_t rights, size_t num_pages, size_t size_bits) argument
555 vspace_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument
643 vspace_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
710 vspace_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
738 vspace_reserve_range_at(vspace_t *vspace, void *vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dmapping.h23 seL4_CapRights_t rights, seL4_Word attr);
26 seL4_CapRights_t rights, UNUSED seL4_Word attr)
29 return seL4_ARCH_Page_MapIO(cap, root, rights, vaddr);
25 vspace_iospace_map_page(seL4_CPtr cap, seL4_CPtr root, seL4_Word vaddr, seL4_CapRights_t rights, UNUSED seL4_Word attr) argument
H A Dvspace.h100 * @param rights the rights to map the pages in with in this reservation
107 seL4_CapRights_t rights, int cacheable, void **vaddr);
121 * @param rights rights to map pages into the to vspace with.
127 size_t size_bits, seL4_CapRights_t rights, int cacheable);
136 * @param rights the rights to map the pages in with
140 void *vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights);
178 * @param rights right
517 vspace_new_pages(vspace_t *vspace, seL4_CapRights_t rights, size_t num_pages, size_t size_bits) argument
555 vspace_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument
643 vspace_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
710 vspace_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
738 vspace_reserve_range_at(vspace_t *vspace, void *vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c128 seL4_CapRights_t rights, int cacheable)
136 reservation->rights = rights;
148 int sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
156 rights, cacheable, objects, &num);
171 int sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
180 (seL4_Word) vaddr, rights, cacheable, size_bits, &pagetable, &pagedir, &pdpt);
206 int sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
215 (seL4_Word) vaddr, rights, cacheable, size_bits, pts, &num_pts);
229 static int map_page(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
127 perform_reservation(vspace_t *vspace, sel4utils_res_t *reservation, uintptr_t vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
288 map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument
306 new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable, bool can_use_dev) argument
369 sel4utils_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
395 sel4utils_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument
505 sel4utils_new_pages(vspace_t *vspace, seL4_CapRights_t rights, size_t num_pages, size_t size_bits) argument
541 sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
558 sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, seL4_CapRights_t rights, int cacheable, void **result) argument
565 sel4utils_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
596 sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
610 sel4utils_reserve_range_at(vspace_t *vspace, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
[all...]
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dvspace.c128 seL4_CapRights_t rights, int cacheable)
136 reservation->rights = rights;
148 int sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
156 rights, cacheable, objects, &num);
171 int sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
180 (seL4_Word) vaddr, rights, cacheable, size_bits, &pagetable, &pagedir, &pdpt);
206 int sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
215 (seL4_Word) vaddr, rights, cacheable, size_bits, pts, &num_pts);
229 static int map_page(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
127 perform_reservation(vspace_t *vspace, sel4utils_res_t *reservation, uintptr_t vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
288 map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument
306 new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable, bool can_use_dev) argument
369 sel4utils_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
395 sel4utils_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) argument
505 sel4utils_new_pages(vspace_t *vspace, seL4_CapRights_t rights, size_t num_pages, size_t size_bits) argument
541 sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
558 sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, seL4_CapRights_t rights, int cacheable, void **result) argument
565 sel4utils_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
596 sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
610 sel4utils_reserve_range_at(vspace_t *vspace, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
[all...]

Completed in 70 milliseconds

12