/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | iterator_cpp11.cpp | 33 auto dist = std::distance(begin(msgarr), end(msgarr)); 59 auto dist = std::distance(begin(msgmap), end(msgmap));
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/ |
H A D | example_bootstrap.c | 62 allocman = bootstrap_use_current_1level(seL4_CapInitThreadCNode, bi->initThreadCNodeSizeBits, bi->empty.start, bi->empty.end, sizeof(initial_mem_pool), initial_mem_pool); 65 for (i = bi->untyped.start; i < bi->untyped.end; i++) { 93 .end_slot = bi->empty.end 106 for (i = bi->untyped.start; i < bi->untyped.end; i++) { 156 .end_slot = bi->empty.end - 1 162 for (i = bi->untyped.start; i < bi->untyped.end; i++) { 224 .end_slot = bi->empty.end - 1 230 for (i = bi->untyped.start; i < bi->untyped.end; i++) {
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | camkesConstants.sml | 23 end
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.h | 90 void* start, const void* end, int parent) 92 return add_region(region_list, new_region(type, start, end - start, parent)); 89 add_region_range(RegionList_t* region_list, region_type_t type, void* start, const void* end, int parent) argument
|
H A D | walker.c | 31 _sig_search(const char* sig, int sig_len, const char* loc, const char* end) argument 33 for (; loc < end; loc += SIG_SEARCH_STEP) { 84 acpi_sig_search(acpi_t *acpi, const char* sig, int sig_len, void* start, void* end) argument 90 while (start < end && !found) { 107 ZF_LOGD("Faied to find sig %s in range %p <-> %p\n", sig, start, end);
|
/seL4-camkes-master/tools/riscv-pk/bbl/ |
H A D | bbl.c | 26 uintptr_t end = kernel_end ? (uintptr_t)kernel_end : (uintptr_t)&_payload_end; local 27 return (end + MEGAPAGE_SIZE - 1) / MEGAPAGE_SIZE * MEGAPAGE_SIZE;
|
/seL4-camkes-master/projects/musllibc/src/math/ |
H A D | remquo.c | 40 goto end; 63 end:
|
H A D | remquof.c | 40 goto end; 63 end:
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | dump.c | 73 const char *pos, *end, *lim; local 79 end = pos = str; 87 while(end < lim) 89 end = utf8_iterate(pos, lim - pos, &codepoint); 90 if(!end) 105 pos = end; 113 if(end == pos) 158 str = pos = end;
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/src/ |
H A D | vrefbuffer.c | 43 vbuf->end = array + nfirst; 103 if(vbuf->tail == vbuf->end) { 114 vbuf->end = nvec + nnext; 178 if(to->tail + nused < vbuf->end) { 182 size_t nnext = (size_t)(to->end - to->array) * 2; 200 to->end = nvec + nnext;
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_mld.tex | 16 \end{verbatim} 25 \end{itemize} 36 \end{itemize}
|
H A D | chap_api_tftp.tex | 9 the end of the transfer. 11 To indicate the end of a transfer where the content is aligned with the block size, an additional 51 \end{itemize} 57 \end{verbatim} 63 \end{itemize} 97 \end{verbatim} 108 \end{verbatim} 126 \end{tabular} 128 \end{itemize} 183 \end{verbati [all...] |
/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/kernel/manual/parts/ |
H A D | vspace.tex | 68 \end{tabularx} 83 \end{tabularx} 99 \end{tabularx} 113 \end{tabularx} 129 \end{tabularx} 144 \end{tabularx} 177 \end{tabularx} 192 \end{tabularx} 205 \end{tabularx} 214 \end{tabular [all...] |
H A D | bootup.tex | 63 \end{tabularx} 64 \end{center} 65 \end{table} 85 which contains \texttt{start} and \texttt{end} slot CPTRs. It denotes a region 87 \texttt{end} being the CPTR of the first slot after the region ends, i.e.\ 88 \texttt{end - 1} points to the last slot of the region. 115 \end{tabularx} 116 \end{center} 117 \end{table} 141 \end{tabula [all...] |
H A D | api.tex | 35 \end{tabularx} 36 \end{minipage} 37 \end{center} 124 \end{tabularx} 138 \end{tabularx} 151 \end{tabularx} 166 \end{tabularx} 179 \end{tabularx} 195 \end{tabularx} 208 \end{tabular [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
H A D | busdev.c | 132 goto end; 163 goto end; 168 end: 217 goto end; 242 goto end; 263 goto end; 275 end:
|
H A D | busdev_user.c | 179 watch_message_parse_string(const char **p, const char *end, argument 182 const char *nul = memchr(*p, 0, end - *p); 198 const char *end = p + msg->len; local 199 KASSERT(p <= end); 202 watch_message_parse_string(&p, end, path_r) && 203 watch_message_parse_string(&p, end, token_r); 222 goto end; 250 goto end; 274 goto end; 281 goto end; [all...] |
/seL4-camkes-master/projects/lwip/src/core/ipv6/ |
H A D | ip6_frag.c | 95 PACK_STRUCT_FIELD(u16_t end); 173 * not end up sending the ICMP response over the wrong link. */ 277 u16_t offset, len, start, end; local 373 * stored zones end up resolving to a different interface. In that case, we 428 end = (u16_t)(start + len); 431 /* Iterate through until we either get to the end of the list (append), 437 if (end > iprh_tmp->start) { 443 if (start < iprh_prev->end) { 464 } else if (start < iprh_tmp->end) { 472 if (iprh_prev->end ! [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 141 static int reserve_range_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end) argument 143 while (start < end) { 162 static int reserve_range_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end) argument 165 while (start < end) { 172 if (next_start > end) { 173 next_start = end; 213 static int reserve_range(vspace_t *vspace, uintptr_t start, uintptr_t end) argument 216 return reserve_range_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end); 432 for (uintptr_t page = res->start; page < res->end - 1; page += PAGE_SIZE_4K) {
|
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdt_sw.c | 325 fdt32_t *end; local 333 end = fdt_grab_space_(fdt, sizeof(*end)); 334 if (! end) 336 *end = cpu_to_fdt32(FDT_END);
|
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | simple.c | 76 return ((init_data_t *)data)->untypeds.end - ((init_data_t *)data)->untypeds.start; 85 if (n < (init_data->untypeds.end - init_data->untypeds.start)) { 160 ZF_LOGF_IF(init_data->free_slots.end == 0, "Bad init data"); 172 for (int i = 0; i < (init_data->untypeds.end - init_data->untypeds.start); i++) { 190 for (int i = 0; i < (init_data->untypeds.end - init_data->untypeds.start); i++) {
|
/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/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/detail/ |
H A D | cpp03_define_map.hpp | 131 if (it != kvmap.end()) { 183 if (it != kvmap.end()) { 190 if (it != kvmap.end()) { 249 if (it != kvmap.end()) { 256 if (it != kvmap.end()) { 263 if (it != kvmap.end()) { 329 if (it != kvmap.end()) { 336 if (it != kvmap.end()) { 343 if (it != kvmap.end()) { 350 if (it != kvmap.end()) { [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/ |
H A D | class_non_intrusive.cpp | 84 for (std::string::const_iterator it = buf.begin(), end = buf.end(); 85 it != end;
|