/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | guest_vspace_arch.h | 12 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 D | guest_vspace_arch.h | 12 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 D | object_capops.h | 28 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 D | capops.h | 37 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 D | mapping.h | 30 * @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 D | vspace.h | 59 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 D | elf.h | 32 seL4_CapRights_t rights; member in struct:sel4utils_elf_region
|
H A D | vspace_internal.h | 416 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 D | process.h | 245 * 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 D | guest_memory_util.h | 17 * @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 D | mapping.c | 25 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 D | elf.c | 240 regions[i].rights, regions[i].cacheable, (void **)®ions[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 D | vspace.c | 76 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 D | ipc_rights.c | 43 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 D | mapping.h | 23 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 D | vspace.h | 100 * @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 D | vspace.c | 128 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 D | guest_memory_util.c | 27 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 D | guest_memory.h | 32 * @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 D | guest_vspace.c | 35 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 D | guest_ram.c | 264 frame_result.rights = seL4_AllRights; 297 frame_result.rights = seL4_AllRights;
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
H A D | helpers.h | 130 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 D | helpers.c | 76 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 D | cspace.tex | 33 % 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 D | manual.tex | 108 \textsc{All rights reserved}.
|