/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ |
H A D | testsel4_notification.py | 219 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 D | Makefile | 19 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 D | timing.h | 59 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 D | gdb.c | 88 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 D | camkes_scope.py | 134 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 D | goanna_wrapper.py | 27 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 D | strings.h | 19 char *index (const char *, int);
|
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | getifaddrs.c | 37 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 D | if_indextoname.c | 9 char *if_indextoname(unsigned index, char *name) argument 15 ifr.ifr_ifindex = index;
|
H A D | if_nameindex.c | 14 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 D | index.c | 5 char *index(const char *s, int c) function
|
/seL4-camkes-master/projects/musllibc/src/time/ |
H A D | __tz.c | 23 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 D | chap_api_dhcp_c.tex | 151 \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 D | pico_socket.h | 258 #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 D | pico_aodv.c | 145 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 D | pico_arp.c | 148 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 D | pico_dhcp_client.c | 1047 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 D | pico_dhcp_client.h | 21 struct pico_ip4 pico_dhcp_get_nameserver(void*cli, int index);
|
H A D | pico_dns_sd.c | 21 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 D | pico_fragments.c | 201 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 D | pico_igmp.c | 395 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 D | pico_ipv4.c | 574 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 D | pico_ipv6.c | 400 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 D | pico_ipv6_nd.c | 1426 struct pico_tree_node *index = NULL, *_tmp = NULL; local 1430 pico_tree_foreach_safe(index, &NCache, _tmp) 1432 n = index->keyValue;
|
H A D | pico_mcast.c | 57 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...] |