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

12

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dguest_vspace_arch.h12 static inline int guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
15 return sel4utils_map_page_pd(vspace, cap, vaddr, rights, cacheable, size_bits);
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_vspace_arch.h12 static inline int guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
15 return sel4utils_map_page_ept(vspace, cap, vaddr, rights, cacheable, size_bits);
/seL4-test-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-test-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-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/
H A Dguest_memory_util.h17 * @function create_allocated_reservation_frame(vm, addr, rights, alloc_fault_callback, alloc_fault_cookie)
21 * @param {seL4_CapRights_t} rights Rights for mapping the allocated frame into the vm's vspace
26 void *create_allocated_reservation_frame(vm_t *vm, uintptr_t addr, seL4_CapRights_t rights,
29 * @function create_device_reservation_frame(vm, addr, rights, fault_callback, fault_cookie)
33 * @param {seL4_CapRights_t} rights Rights for mapping the device frame into the vm's vspace
38 void *create_device_reservation_frame(vm_t *vm, uintptr_t addr, seL4_CapRights_t rights,
/seL4-test-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
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-test-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-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dipc_rights.c43 seL4_CapRights_t rights; local
45 rights.words[0] = i;
48 cnode_mint(env, ep, epMint, rights, 0);
51 if (!seL4_CapRights_get_capAllowWrite(rights)) {
81 seL4_CapRights_t rights; local
82 rights.words[0] = i;
83 cnode_mint(env, ep, epMint, rights, 0);
95 if (seL4_CapRights_get_capAllowRead(rights)) {
153 seL4_CapRights_t rights; local
154 rights
229 seL4_CapRights_t rights; local
344 seL4_CapRights_t rights; local
[all...]
/seL4-test-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-test-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-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/
H A Dguest_memory_util.c27 seL4_CapRights_t rights; member in struct:device_frame_cookie
63 frame_result.rights = device_cookie->rights;
110 frame_result.rights = seL4_AllRights;
133 frame_result.rights = seL4_AllRights;
156 frame_result.rights = seL4_AllRights;
162 void *create_allocated_reservation_frame(vm_t *vm, uintptr_t addr, seL4_CapRights_t rights, argument
207 cookie->rights = rights;
222 void *create_device_reservation_frame(vm_t *vm, uintptr_t addr, seL4_CapRights_t rights, argument
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_memory.h32 * @param {seL4_CapRights_t} rights Mapping rights of frame
38 seL4_CapRights_t rights; /** Mapping rights of frame */ member in struct:vm_frame
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dguest_vspace.c35 static int guest_vspace_map(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
40 error = guest_vspace_map_page_arch(vspace, cap, vaddr, rights, cacheable, size_bits);
70 new_path.capPtr, (uintptr_t)vaddr, rights, 1,
H A Dguest_ram.c264 frame_result.rights = seL4_AllRights;
297 frame_result.rights = seL4_AllRights;
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A Dhelpers.h130 int cnode_copy(env_t env, seL4_CPtr src, seL4_CPtr dest, seL4_CapRights_t rights);
132 int cnode_mint(env_t env, seL4_CPtr src, seL4_CPtr dest, seL4_CapRights_t rights, seL4_Word badge);
H A Dhelpers.c76 int cnode_copy(env_t env, seL4_CPtr src, seL4_CPtr dest, seL4_CapRights_t rights) argument
81 return vka_cnode_copy(&dest_path, &src_path, rights);
91 int cnode_mint(env_t env, seL4_CPtr src, seL4_CPtr dest, seL4_CapRights_t rights, seL4_Word badge) argument
97 return vka_cnode_mint(&dest_path, &src_path, rights, badge);
/seL4-test-master/kernel/manual/parts/
H A Dcspace.tex33 % it was not possible to change a capability's rights during a CNode_Copy.
37 \emph{minted} from old ones with a subset of their rights. Recall,
82 capability. The newly created capability may have fewer rights than
95 also reduce its rights similarly to
139 rights} associated with them. Currently, access rights are
144 access rights associated with a capability determine the methods that
145 can be invoked. seL4 supports four access rights, which
150 in~\autoref{tab:rights}.
153 it carries the maximum set of access rights
[all...]
/seL4-test-master/kernel/manual/
H A Dmanual.tex108 \textsc{All rights reserved}.

Completed in 105 milliseconds

12