Searched refs:end (Results 101 - 125 of 248) sorted by relevance

12345678910

/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/
H A Diterator_cpp11.cpp33 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 Dexample_bootstrap.c62 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 DcamkesConstants.sml23 end
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dregions.h90 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 Dwalker.c31 _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 Dbbl.c26 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 Dremquo.c40 goto end;
63 end:
H A Dremquof.c40 goto end;
63 end:
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Ddump.c73 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 Dvrefbuffer.c43 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 Dchap_api_mld.tex16 \end{verbatim}
25 \end{itemize}
36 \end{itemize}
H A Dchap_api_tftp.tex9 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 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/kernel/manual/parts/
H A Dvspace.tex68 \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 Dbootup.tex63 \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 Dapi.tex35 \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 Dbusdev.c132 goto end;
163 goto end;
168 end:
217 goto end;
242 goto end;
263 goto end;
275 end:
H A Dbusdev_user.c179 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 Dip6_frag.c95 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 Dbootstrap.c141 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 Dfdt_sw.c325 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 Dsimple.c76 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 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/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/detail/
H A Dcpp03_define_map.hpp131 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 Dclass_non_intrusive.cpp84 for (std::string::const_iterator it = buf.begin(), end = buf.end();
85 it != end;

Completed in 174 milliseconds

12345678910