/seL4-camkes-master/kernel/libsel4/include/sel4/ |
H A D | shared_types.h | 34 #define seL4_AllRights seL4_CapRights_new(1, 1, 1, 1) macro
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | service.c | 23 err = vka_cnode_mint(&dst, &src, seL4_AllRights, badge);
|
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | parentapi.c | 79 seL4_AllRights, 204 seL4_AllRights, 230 return vka_cnode_mint(&dest_slot, &server_ep_cspath, seL4_AllRights, 249 seL4_AllRights,
|
H A D | clientapi.c | 64 seL4_AllRights,
|
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/ |
H A D | arch.c | 28 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 D | seL4SharedDataWithCaps.template.c | 142 return seL4_AllRights;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | boot.c | 52 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 D | simple.c | 38 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 D | device.c | 65 void *vaddr = vspace_map_pages(vspace, &frame->cptr, &frame->ut, seL4_AllRights, 1, size_bits, 0);
|
H A D | common.c | 117 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 D | component.simple.c | 234 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 D | usb.c | 48 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 D | guest_memory_util.c | 56 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 D | mapping.c | 126 error = vka_cnode_copy(©_path, &page_path, seL4_AllRights); 132 void *mapping = vspace_map_pages(vspace, ©_path.capPtr, NULL, seL4_AllRights, 1, size_bits, 1);
|
H A D | iommu_dma.c | 101 error = vka_cnode_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 D | elf.c | 107 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 D | vspace.c | 24 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 D | sys_morecore.c | 95 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 D | acpi.c | 90 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 D | guest_image.c | 176 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 D | bootstrap.c | 116 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 D | boot.c | 73 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 D | entry.c | 179 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 D | guest_ram.c | 171 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 D | virtual_pool.c | 42 while ((error = seL4_ARCH_Page_Map(frame_path.capPtr, pd, (seL4_Word) vaddr, seL4_AllRights,
|