Searched refs:end (Results 1 - 25 of 248) sorted by last modified time

12345678910

/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/cakeml-filter/
H A DcomponentScript.sml19 in () end
51 in () end
56 in () end
57 in VirtQueue.select_loop forward_message [vq_client0_incoming, vq_client1_outgoing] end
65 in Utils.bytes_to_int buf 1 word_size end
75 end
81 in run_loop src end
/seL4-camkes-master/projects/camkes/apps/cakeml_regex/components/CakeMLFilter/
H A DfilterProgScript.sml81 in def end
94 end
175 end
H A DcomponentScript.sml30 end
/seL4-camkes-master/projects/camkes/apps/cakeml_hello/
H A DcomponentScript.sml64 in () end
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c284 pt_vptr < it_v_reg.end;
/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dhardware.c63 .end = kernel_devices[i].paddr + (1 << seL4_LargePageBits),
256 void plat_cleanL2Range(paddr_t start, paddr_t end) argument
259 void plat_invalidateL2Range(paddr_t start, paddr_t end) argument
263 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Dioports.c21 if (key > elem->end) {
99 if (io_list->ioports[i]->range.end >= port->range.start && io_list->ioports[i]->range.start <= port->range.end) {
101 port->range.start, port->range.end, port->interface.desc ? port->interface.desc : "Unknown IO Port",
102 io_list->ioports[i]->range.start, io_list->ioports[i]->range.end,
127 io_range->end = free_port_addr + io_range->size - 1;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/
H A Dguest_image.c54 uint32_t end; member in struct:zimage_hdr
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/
H A Dioports.h32 * @param {uint16_t} end End address of ioport range
37 uint16_t end; member in struct:ioport_range
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dioports.c31 if (key > elem->end) {
81 if (ioport_list->ioports[i].range.end > port.range.start && ioport_list->ioports[i].range.start < port.range.end) {
83 port.range.start, port.range.end, port.interface.desc ? port.interface.desc : "Unknown IO Port",
84 ioport_list->ioports[i].range.start, ioport_list->ioports[i].range.end,
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dioports.h73 uint16_t end; member in struct:vm_ioport_range
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/
H A Dserver.c69 seL4_Error err = simple_get_IOPort_cap(env->simple, rpcMsg->msg.ioport.start, rpcMsg->msg.ioport.end,
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c710 vptr < it_v_reg.end;
721 vptr < it_v_reg.end;
732 vptr < it_v_reg.end;
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py305 for end in connection.from_ends:
306 if end.instance == instance:
308 name = "%s_%s_%04d" % (instance_name, end.interface.name, x)
310 end.interface.name, options.default_stack_size)
311 ts.append(Thread(name, end.interface, x, stack_size))
312 for end in connection.to_ends:
313 if end.instance == instance:
315 name = "%s_%s_%04d" % (instance_name, end.interface.name, x)
317 end.interface.name, options.default_stack_size)
318 ts.append(Thread(name, end
[all...]
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c215 * up to end of virtual address space except for the last large page.
449 vptr < it_v_reg.end;
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c489 vptr < it_v_reg.end;
498 vptr < it_v_reg.end;
507 vptr < it_v_reg.end;
1432 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument
1437 cleanCacheRange_RAM(start, end, pstart);
1442 invalidateCacheRange_RAM(start, end, pstart);
1447 cleanInvalidateCacheRange_RAM(start, end, pstart);
1453 cleanCacheRange_PoU(start, end, pstart);
1458 invalidateCacheRange_I(start, end, pstart);
1470 vptr_t start, vptr_t end, paddr_
1469 performVSpaceFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1629 performPageFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1693 vptr_t start, end; local
2196 vptr_t start, end; local
[all...]
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c205 /* up to end of virtual address space minus 16M using 16M frames */
335 /* up to end of virtual address space minus 2M using 2M frames */
554 pt_vptr < it_v_reg.end;
1806 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument
1809 \<or> \<acute>end - \<acute>start <= gs_get_assn cap_get_capSizeBits_'proc \<acute>ghost'state)
1810 \<and> \<acute>start <= \<acute>end, id)" */
1814 end = (vptr_t)paddr_to_pptr(pstart) + (end - start);
1820 cleanCacheRange_RAM(start, end, pstart);
1824 invalidateCacheRange_RAM(start, end, pstar
1852 performPDFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
1978 performPageFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument
2053 vptr_t start, end; local
2455 vptr_t start, end; local
[all...]
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c75 /* This symbol is provided by the GNU linker and points at the start/end of our
315 * the image computed by comparing start and end symbols. If
319 bootinfo->userImageFrames.end - bootinfo->userImageFrames.start;
376 seL4_CPtr untyped_end = bootinfo->untyped.end;
428 free_slot_end = bootinfo->empty.end;
430 /* When using libsel4platsupport for printing support, we end up using some
459 int num_untyped = bootinfo->untyped.end - bootinfo->untyped.start;
485 int num_untyped = bootinfo->untyped.end - bootinfo->untyped.start;
524 for (unsigned int i = 0; i < bootinfo->untyped.end - bootinfo->untyped.start; i++) {
637 err = seL4_X86_IOPortControl_Issue(seL4_CapIOPortControl, obj->start, obj->end, seL4_CapInitThreadCNod
1909 uintptr_t end = cur + bi->extraLen; local
[all...]
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c30 if (ndks_boot.reserved[i - 1].end == ndks_boot.reserved[i].start) {
32 ndks_boot.reserved[i - 1].end = ndks_boot.reserved[i].end;
49 assert(reg.start <= reg.end);
50 if (reg.start == reg.end) {
57 if (ndks_boot.reserved[i].start == reg.end) {
62 if (ndks_boot.reserved[i].end == reg.start) {
63 ndks_boot.reserved[i].end = reg.end;
68 if (ndks_boot.reserved[i].start > reg.end) {
[all...]
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h364 seL4_Word end; member in struct:__anon59::__anon60::__anon61
/seL4-camkes-master/kernel/src/arch/arm/kernel/
H A Dboot.c29 /* pointer to the end of boot code/data in kernel image */
32 /* pointer to end of kernel image */
49 reserved[0].end = (pptr_t)ki_end;
55 reserved[index].end = (pptr_t) paddr_to_pptr(dtb_p_reg.end);
67 if (ui_reg.end > mode_reserved_region[0].start) {
71 reserved[index].end = ui_reg.end;
74 reserved[index].end = ui_reg.end;
[all...]
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Diospace.c95 seL4_SlotPos end = 0; local
115 end = ndks_boot.slot_pos_cur;
116 printf("Region [%x to %x) for SMMU caps\n", (unsigned int)start, (unsigned int)end);
118 start, end
478 #endif /* end of CONFIG_TK1_SMMU */
/seL4-camkes-master/kernel/manual/parts/
H A Dio.tex38 \end{description}
70 \end{description}
131 \end{description}
267 \end{description}
286 \end{description}
308 \end{description}
322 \end{description}
349 \end{description}
366 \end{itemize}
373 \end{itemiz
[all...]
/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dbootinfo_types.h47 seL4_SlotPos end; /* first CNode slot position AFTER region */ member in struct:seL4_SlotRegion
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/
H A Ddefault.c54 if (reg.end <= reg.start) {
60 *count = reg.end - reg.start;
77 if (reg.end <= reg.start) {
85 if (cap >= reg.end || cap < reg.start) {

Completed in 257 milliseconds

12345678910