Searched refs:seL4_AllRights (Results 1 - 25 of 41) sorted by relevance

12

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dshared_types.h34 #define seL4_AllRights seL4_CapRights_new(1, 1, 1, 1) macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/
H A Dservice.c23 err = vka_cnode_mint(&dst, &src, seL4_AllRights, badge);
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dparentapi.c79 seL4_AllRights,
204 seL4_AllRights,
230 return vka_cnode_mint(&dest_slot, &server_ep_cspath, seL4_AllRights,
249 seL4_AllRights,
H A Dclientapi.c64 seL4_AllRights,
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/
H A Darch.c28 return seL4_CNode_Copy(root, dest, depth, simple_get_cnode(&env.simple), init->io_port, CONFIG_WORD_SIZE, seL4_AllRights);
/seL4-camkes-master/projects/global-components/templates/
H A DseL4SharedDataWithCaps.template.c142 return seL4_AllRights;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dboot.c52 err = vka_cnode_mint(&dst, &src, seL4_AllRights, vm->cspace.cspace_root_data);
79 err = vka_cnode_mint(&dst, &src, seL4_AllRights, badge);
87 err = vka_cnode_copy(&dst, &src, seL4_AllRights);
/seL4-camkes-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c38 seL4_Error error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights);
41 error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights);
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Ddevice.c65 void *vaddr = vspace_map_pages(vspace, &frame->cptr, &frame->ut, seL4_AllRights, 1, size_bits, 0);
H A Dcommon.c117 seL4_AllRights,
143 vaddr = vspace_map_pages(vspace, &dest.cptr, NULL, seL4_AllRights, 1, bits, 0);
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c234 return seL4_CNode_Copy(path->root, path->capPtr, path->capDepth, /*? self_cnode ?*/, mmio_cap_lookup_/*? mmio_key ?*/[((uintptr_t)paddr - (uintptr_t)/*? paddr ?*/) >> /*? bits ?*/], CONFIG_WORD_SIZE, seL4_AllRights);
331 return seL4_CNode_Copy(root, dest, depth, /*? self_cnode ?*/, cap, CONFIG_WORD_SIZE, seL4_AllRights);
348 return seL4_CNode_Copy(path->root, path->capPtr, path->capDepth, /*? self_cnode ?*/, cap, CONFIG_WORD_SIZE, seL4_AllRights);
400 return seL4_CNode_Copy(cnode, index, depth, /*? self_cnode ?*/, /*? cap ?*/, CONFIG_WORD_SIZE, seL4_AllRights);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/tk1/devices/
H A Dusb.c48 void *vmm_addr = create_device_reservation_frame(vm, dev_usb.pstart, seL4_AllRights, handle_usb_fault, NULL);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Dguest_memory_util.c56 ret = vka_cnode_copy(&return_frame, &device_cookie->mapped_frame, seL4_AllRights);
110 frame_result.rights = seL4_AllRights;
133 frame_result.rights = seL4_AllRights;
156 frame_result.rights = seL4_AllRights;
196 NULL, seL4_AllRights, 1, page_size, 0);
270 NULL, seL4_AllRights, 1, page_size, 0);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dmapping.c126 error = vka_cnode_copy(&copy_path, &page_path, seL4_AllRights);
132 void *mapping = vspace_map_pages(vspace, &copy_path.capPtr, NULL, seL4_AllRights, 1, size_bits, 1);
H A Diommu_dma.c101 error = vka_cnode_copy(&copy_path, &page_path, seL4_AllRights);
109 reservation_t res = vspace_reserve_range_at(dma->iospaces + i, (void *)addr, PAGE_SIZE_4K, seL4_AllRights, 1);
H A Delf.c107 error = vka_cnode_copy(&loader_frame_cap, &loadee_frame_cap, seL4_AllRights);
114 loader_vaddr = vspace_map_pages(loader_vspace, &loader_frame_cap.capPtr, NULL, seL4_AllRights,
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/
H A Dvspace.c24 seL4_AllRights, 1, &vaddr);
59 void *vaddr = vspace_new_pages(vspace, seL4_AllRights, 1, seL4_PageBits);
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_morecore.c95 sel4utils_reserve_range_no_alloc(&vspace, &muslc_brk_reservation_memory, BRK_VIRTUAL_SIZE, seL4_AllRights, 1, &muslc_brk_reservation_start);
220 void *ret = vspace_new_pages(muslc_this_vspace, seL4_AllRights, pages, seL4_PageBits);
276 reservation_t reservation = vspace_reserve_range(muslc_this_vspace, new_pages * PAGE_SIZE_4K, seL4_AllRights, 1,
303 reservation = vspace_reserve_range_at(muslc_this_vspace, old_address, num_pages * PAGE_SIZE_4K, seL4_AllRights, 1);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dacpi.c90 error = vka_cnode_copy(&return_frame, &bios_frames[page_idx], seL4_AllRights);
97 frame_result.rights = seL4_AllRights;
127 void *bios_addr = vspace_map_pages(&vm->mem.vmm_vspace, caps, NULL, seL4_AllRights,
H A Dguest_image.c176 vka_cnode_copy(&dup_slot, &cap_path, seL4_AllRights);
177 void *map_vaddr = vspace_map_pages(&vm->mem.vmm_vspace, &dup_slot.capPtr, NULL, seL4_AllRights, 1, page_size, 1);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c116 seL4_AllRights, 1, objects, &num);
297 data->top_level = vspace_new_pages(loader, seL4_AllRights, sizeof(vspace_mid_level_t) / PAGE_SIZE_4K, seL4_PageBits);
450 error = vka_cnode_copy(&dest, &src, seL4_AllRights);
454 void *dest_addr = vspace_map_pages(current, &dest.capPtr, NULL, seL4_AllRights,
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dboot.c73 frame_result.rights = seL4_AllRights;
97 seL4_PageBits, seL4_AllRights, 1, make_guest_page_dir_continued, NULL);
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c179 error = sel4utils_reserve_range_no_alloc(&env->vspace, &muslc_brk_reservation_memory, 1048576, seL4_AllRights, 1,
188 seL4_AllRights, 1, &vaddr);
222 osend = vspace_new_pages_with_config(&env->vspace, &config, seL4_AllRights);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/
H A Dguest_ram.c171 seL4_PageBits, seL4_AllRights, 1, touch_access_callback, &access_cookie);
264 frame_result.rights = seL4_AllRights;
297 frame_result.rights = seL4_AllRights;
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Dvirtual_pool.c42 while ((error = seL4_ARCH_Page_Map(frame_path.capPtr, pd, (seL4_Word) vaddr, seL4_AllRights,

Completed in 215 milliseconds

12