/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/cakeml-filter/ |
H A D | componentScript.sml | 19 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 D | filterProgScript.sml | 81 in def end 94 end 175 end
|
H A D | componentScript.sml | 30 end
|
/seL4-camkes-master/projects/camkes/apps/cakeml_hello/ |
H A D | componentScript.sml | 64 in () end
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 284 pt_vptr < it_v_reg.end;
|
/seL4-camkes-master/kernel/src/arch/riscv/machine/ |
H A D | hardware.c | 63 .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 D | ioports.c | 21 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 D | guest_image.c | 54 uint32_t end; member in struct:zimage_hdr
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | ioports.h | 32 * @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 D | ioports.c | 31 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 D | ioports.h | 73 uint16_t end; member in struct:vm_ioport_range
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/ |
H A D | server.c | 69 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 D | vspace.c | 710 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 D | macros.py | 305 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 D | vspace.c | 215 * 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 D | vspace.c | 489 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 D | vspace.c | 205 /* 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 D | main.c | 75 /* 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 D | boot.c | 30 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 D | capdl.h | 364 seL4_Word end; member in struct:__anon59::__anon60::__anon61
|
/seL4-camkes-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 29 /* 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 D | iospace.c | 95 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 D | io.tex | 38 \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 D | bootinfo_types.h | 47 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 D | default.c | 54 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) {
|