Searched refs:index (Results 1 - 25 of 194) sorted by path

12345678

/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/
H A Dtestsel4_notification.py219 for index, statement in enumerate(statements):
232 statements[index+1:], accumulated + statements[:index+1],
248 statement.iftrue is not None else []) + statements[index+1:],
249 accumulated + statements[:index+1], locks)
258 statement.iffalse is not None else []) + statements[index+1:],
259 accumulated + statements[:index+1], locks)
299 statements[index+1:], accumulated + statements[:index+1],
/seL4-camkes-master/projects/camkes-tool/docs/
H A DMakefile19 default: index.html camkes-manual.pdf
21 index.html: index.md
25 camkes-manual.pdf: index.md imgs/echo.png
30 @echo " [CLEAN] index.html camkes-manual.pdf"
31 ${Q}rm -rf index.html camkes-manual.pdf
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dtiming.h59 static int index; \
61 for (index = 0; index < ARRAY_SIZE(libsel4camkes_timing_points); index++) { \
62 if (!strcmp(libsel4camkes_timing_points[index], point)) { \
66 assert(index < ARRAY_SIZE(libsel4camkes_timing_points)); \
69 if (index == 0) { \
73 if (libsel4camkes_timing_buffer_iteration * ARRAY_SIZE(libsel4camkes_timing_points) + index < TIMING_ENTRIES) { \
74 libsel4camkes_timing_buffer[libsel4camkes_timing_buffer_iteration * ARRAY_SIZE(libsel4camkes_timing_points) + index] = sel4bench_get_cycle_count(); \
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/
H A Dgdb.c88 size_t index = -1; local
90 index = gdb_to_seL4_register_index[gdb_register];
92 if (index != -1) {
93 /* Turn byte offset into index */
94 index /= sizeof(seL4_Word);
96 return index;
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dcamkes_scope.py134 index = []
157 # File index entry.
168 index = []
178 index.append(entry)
181 return index, list(files)
221 index, files = build_cross_reference(opts.source, opts)
230 pycscope.writeIndex(base, opts.reference_file, index, files)
H A Dgoanna_wrapper.py27 foo.c:10: warning: Goanna [ARR-inv-index] Severity-High, ...
33 return a[x]; /* goanna: suppress=ARR-inv-index,MEM-leak-alias */
87 for index, l in enumerate(f):
88 if index + 1 == lineno:
/seL4-camkes-master/projects/musllibc/include/
H A Dstrings.h19 char *index (const char *, int);
/seL4-camkes-master/projects/musllibc/src/network/
H A Dgetifaddrs.c37 unsigned int index; member in struct:ifaddrs_storage
122 if (ifs0->index == ifa->ifa_index)
131 ifs->index = ifi->ifi_index;
155 unsigned int bucket = ifs->index % IFADDRS_HASH_SIZE;
H A Dif_indextoname.c9 char *if_indextoname(unsigned index, char *name) argument
15 ifr.ifr_ifindex = index;
H A Dif_nameindex.c14 unsigned int index; member in struct:ifnamemap
31 int index, type, namelen, bucket; local
35 index = ifi->ifi_index;
40 index = ifa->ifa_index;
51 bucket = index % IFADDRS_HASH_SIZE;
55 if (map->index == index &&
71 map->index = index;
101 d->if_index = s->index;
[all...]
/seL4-camkes-master/projects/musllibc/src/string/
H A Dindex.c5 char *index(const char *s, int c) function
/seL4-camkes-master/projects/musllibc/src/time/
H A D__tz.c23 static const unsigned char *zi, *trans, *index, *types, *abbrevs, *abbrevs_end; variable
186 index = trans + (zi_read32(trans-12) << scale);
187 types = index + zi_read32(trans-12);
249 size_t a = 0, n = (index-trans)>>scale, m;
262 if (local) off = (int32_t)zi_read32(types + 6 * index[m-1]);
271 /* First and last entry are special. First means to use lowest-index
273 n = (index-trans)>>scale;
279 if (local) off = (int32_t)zi_read32(types + 6 * index[a-1]);
297 if (a && types[6*index[a-1]+4] != types[6*index[
[all...]
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_dhcp_c.tex151 \texttt{struct pico\_ip4 pico\_dhcp\_get\_nameserver(void *cli, int index);}
156 \item \texttt{index} - the indes of the domain name server received. Can be either "0" or "1".
161 \item \texttt{struct pico\_ip4} - the address of the nameserver that should be used. On failure, e.g. an invalid index was passed, it returns "255.255.255.255". If the IP address of the DNS has not been set, it may return INADDR\_ANY.
/seL4-camkes-master/projects/picotcp/include/
H A Dpico_socket.h258 #define PICO_SOCKET_SETOPT_EN(socket, index) (socket->opt_flags |= (1 << index))
259 #define PICO_SOCKET_SETOPT_DIS(socket, index) (socket->opt_flags &= (uint16_t) ~(1 << index))
260 #define PICO_SOCKET_GETOPT(socket, index) ((socket->opt_flags & (1u << index)) != 0)
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_aodv.c145 struct pico_tree_node *index; local
178 pico_tree_foreach(index, &aodv_devices){
179 dev = index->keyValue;
472 struct pico_tree_node *index; local
508 pico_tree_foreach(index, &aodv_devices){
509 dev = index->keyValue;
528 struct pico_tree_node *index; local
555 pico_tree_foreach(index, &aodv_devices) {
556 dev = index->keyValue;
585 struct pico_tree_node *index; local
[all...]
H A Dpico_arp.c148 struct pico_tree_node *index; local
149 pico_tree_foreach(index, &arp_tree){
150 search = index->keyValue;
245 struct pico_tree_node *index; local
247 pico_tree_foreach(index, &arp_tree) {
248 a = index->keyValue;
546 struct pico_tree_node *index; local
548 pico_tree_foreach(index, &arp_tree){
549 search = index->keyValue;
H A Dpico_dhcp_client.c1047 struct pico_ip4 pico_dhcp_get_nameserver(void*dhcpc, int index) argument
1052 if ((index != 0) && (index != 1))
1055 return ((struct pico_dhcp_client_cookie*)dhcpc)->nameserver[index];
H A Dpico_dhcp_client.h21 struct pico_ip4 pico_dhcp_get_nameserver(void*cli, int index);
H A Dpico_dns_sd.c21 pico_dns_sd_kv_vector_get( kv_vector *vector, uint16_t index );
523 * Gets a single key-value pair form a Key-Value pair vector @ certain index.
526 * @param index Index of the KV-pair.
530 pico_dns_sd_kv_vector_get( kv_vector *vector, uint16_t index )
536 /* Return record with conditioned index */
537 if (index < vector->count)
538 return vector->pairs[index];
H A Dpico_fragments.c201 struct pico_tree_node *index, *tmp; local
208 pico_tree_foreach_safe(index, tree, tmp) {
209 struct pico_frame * old = index->keyValue;
218 struct pico_tree_node *index, *temp; local
225 pico_tree_foreach_safe(index, tree, temp) {
226 cur = index->keyValue;
306 struct pico_tree_node *index, *tmp; local
342 pico_tree_foreach_safe(index, tree, tmp) {
343 f = index->keyValue;
H A Dpico_igmp.c395 struct pico_tree_node *index = NULL, *_tmp = NULL; local
404 pico_tree_foreach_safe(index, &IGMPTimers, _tmp)
406 ((struct igmp_timer *)index->keyValue)->stopped = IGMP_TIMER_STOPPED;
407 pico_tree_delete(&IGMPTimers, index->keyValue);
435 struct pico_tree_node *index = NULL, *_tmp = NULL; local
474 pico_tree_foreach_safe(index, &IGMPTimers, _tmp)
476 ((struct igmp_timer *)index->keyValue)->stopped = IGMP_TIMER_STOPPED;
477 pico_tree_delete(&IGMPTimers, index->keyValue);
726 struct pico_tree_node *index = NULL; local
753 pico_tree_foreach(index, filte
1106 struct pico_tree_node *index = NULL; local
[all...]
H A Dpico_ipv4.c574 struct pico_tree_node *index; local
581 pico_tree_foreach_reverse(index, &Routes) {
582 r = index->keyValue;
695 struct pico_tree_node *index = NULL, *index2 = NULL; local
704 pico_tree_foreach(index, mcast_link->MCASTGroups) {
705 g = index->keyValue;
718 struct pico_tree_node *index = NULL, *_tmp = NULL; local
721 pico_tree_foreach_safe(index, &g->MCASTSources, _tmp) {
722 source = index->keyValue;
728 pico_tree_foreach(index, MCASTFilte
811 struct pico_tree_node *index = NULL, *_tmp = NULL; local
862 struct pico_tree_node *index = NULL, *index2 = NULL; local
947 struct pico_tree_node *index; local
973 struct pico_tree_node *index; local
1328 struct pico_tree_node *index = NULL, *tmp = NULL; local
1366 struct pico_tree_node *index, *_tmp; local
1412 struct pico_tree_node *index = NULL; local
1425 struct pico_tree_node *index = NULL; local
1623 struct pico_tree_node *index; local
1646 struct pico_tree_node *index = NULL, *_tmp = NULL; local
[all...]
H A Dpico_ipv6.c400 struct pico_tree_node *index = NULL; local
407 pico_tree_foreach_reverse(index, &IPV6Routes) {
408 r = index->keyValue;
974 struct pico_tree_node *index = NULL, *index2 = NULL; local
983 pico_tree_foreach(index, mcast_link->MCASTGroups) {
984 g = index->keyValue;
1004 struct pico_tree_node *index = NULL, *_tmp = NULL; local
1007 pico_tree_foreach_safe(index, &g->MCASTSources, _tmp) {
1008 source = index->keyValue;
1014 pico_tree_foreach(index, _MCASTFilte
1097 struct pico_tree_node *index = NULL, *_tmp = NULL; local
1145 struct pico_tree_node *index = NULL, *index2 = NULL; local
1462 struct pico_tree_node *index; local
1643 struct pico_tree_node *index = NULL, *_tmp = NULL; local
1855 struct pico_tree_node *index = NULL, *_tmp = NULL; local
1869 struct pico_tree_node *index = NULL, *_tmp = NULL; local
1992 struct pico_tree_node *index = NULL; local
2006 struct pico_tree_node *index = NULL; local
2029 struct pico_tree_node *index = NULL; local
2071 struct pico_tree_node *index = NULL, *temp; local
[all...]
H A Dpico_ipv6_nd.c1426 struct pico_tree_node *index = NULL, *_tmp = NULL; local
1430 pico_tree_foreach_safe(index, &NCache, _tmp)
1432 n = index->keyValue;
H A Dpico_mcast.c57 struct pico_tree_node *index = NULL, *_tmp = NULL; local
59 pico_tree_foreach_safe(index, mcast->allow, _tmp)
61 pico_tree_delete(mcast->allow, index->keyValue);
63 pico_tree_foreach_safe(index, mcast->block, _tmp)
65 pico_tree_delete(mcast->block, index->keyValue);
70 struct pico_tree_node *index = NULL; local
78 pico_tree_foreach(index, mcast->p->MCASTFilter) /* B */
80 if (pico_tree_insert(mcast->allow, index->keyValue) == &LEAF) {
99 pico_tree_foreach(index, mcast->p->MCASTFilter) /* B */
101 if (pico_tree_insert(mcast->allow, index
147 struct pico_tree_node *index = NULL; local
162 struct pico_tree_node *index = NULL; local
180 struct pico_tree_node *index = NULL; local
[all...]

Completed in 223 milliseconds

12345678