/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
H A D | simple.h | 38 * @param dest The index within the CNode to put the cap 39 * @param depth of index 49 * @param the index within the CNode to put cap 50 * @param Depth of index 52 typedef seL4_Error (*arch_simple_get_msi_fn)(void *data, seL4_CNode root, seL4_Word index, 57 typedef seL4_Error (*arch_simple_get_ioapic_fn)(void *data, seL4_CNode root, seL4_Word index, 68 * @param the index within the CNode to put cap 69 * @param Depth of index 71 typedef seL4_Error (*arch_simple_get_IRQ_handler_fn)(void *data, int irq, seL4_CNode cnode, seL4_Word index,
|
/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_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_mld.c | 168 struct pico_tree_node *index = NULL, *_tmp = NULL; local 177 pico_tree_foreach_safe(index, &MLDTimers, _tmp) 179 ((struct mld_timer *)index->keyValue)->stopped = MLD_TIMER_STOPPED; 180 pico_tree_delete(&MLDTimers, index->keyValue); 446 struct pico_tree_node *index = NULL, *_tmp = NULL; local 475 pico_tree_foreach_safe(index, &MLDTimers, _tmp) 477 ((struct mld_timer *)index->keyValue)->stopped = MLD_TIMER_STOPPED; 478 pico_tree_delete(&MLDTimers, index->keyValue); 746 struct pico_tree_node *index = NULL; local 779 pico_tree_foreach(index, filte 1120 struct pico_tree_node *index = NULL; local [all...] |
H A D | pico_nat.c | 129 struct pico_tree_node *index = NULL; local 138 pico_tree_foreach(index, &NATOutbound) 140 t = index->keyValue; 334 struct pico_tree_node *index = NULL, *_tmp = NULL; local 341 pico_tree_foreach_reverse_safe(index, &NATOutbound, _tmp) 343 t = index->keyValue;
|
/seL4-camkes-master/kernel/src/arch/arm/machine/ |
H A D | gic_v2.c | 155 word_t index = IRQT_TO_IRQ(irq) / 16u; local 159 gic_dist->config[index] |= BIT(offset + 1); 161 gic_dist->config[index] &= ~BIT(offset + 1); 167 /* irqInvalid cannot correspond to a valid IRQ index into the irq state array */
|
/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)
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
H A D | memalloc.c | 249 unsigned int index; local 269 index = hdr->mh_index; 287 if (index >= LOCALBUCKETS) { 288 bmk_pgfree(origp, (index+MINSHIFT) - BMK_PCPU_PAGE_SHIFT); 292 LIST_INSERT_HEAD(&freebuckets[index], frb, entries); 293 nmalloc[index]--;
|
/seL4-camkes-master/kernel/libsel4/include/sel4/ |
H A D | deprecated.h | 100 seL4_ExceptIPC_Set(seL4_Word index, seL4_Word val) argument 102 seL4_SetMR(index, val);
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | snmp_table.h | 53 u32_t index; member in struct:snmp_table_col_def 99 u32_t index; member in struct:snmp_table_simple_col_def
|
H A D | fs.h | 68 int index; member in struct:fs_file
|
H A D | snmpv3.h | 87 err_t snmpv3_get_username(char *username, u8_t index);
|
/seL4-camkes-master/kernel/include/kernel/ |
H A D | sporadic.h | 43 static inline refill_t *refill_index(sched_context_t *sc, word_t index) argument 45 return ((refill_t *)(SC_REF(sc) + sizeof(sched_context_t))) + index;
|
/seL4-camkes-master/tools/seL4/misc/ |
H A D | whence.py | 91 for index, commit in enumerate(commits): 92 sys.stderr.write('Considering %s (%d of %d)...\n' % (commit, index, len(commits)))
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_stack.c | 662 static int calc_score(int *score, int *index, int avg[][PROTO_DEF_AVG_NR], int *ret) argument 677 if (index[i] >= PROTO_DEF_AVG_NR) 678 index[i] = 0; /* reset index */ 680 j = index[i]; 683 index[i]++; 719 if (index[i] >= PROTO_DEF_AVG_NR) 720 index[i] = 0; /* reset index */ 722 j = index[ 752 static int index[PROTO_DEF_NR] = { local [all...] |
H A D | pico_device.c | 440 struct pico_tree_node *index; local 441 pico_tree_foreach(index, &Device_tree){ 442 dev = index->keyValue; 451 struct pico_tree_node *index; local 454 pico_tree_foreach(index, &Device_tree) 456 struct pico_device *dev = index->keyValue;
|
H A D | pico_socket.c | 342 struct pico_tree_node *index; local 350 pico_tree_foreach(index, &test->socks){ 351 found = index->keyValue; 363 struct pico_tree_node *index = NULL; local 369 pico_tree_foreach(index, &sp->socks) 371 if(((struct pico_socket *)index->keyValue)->remote_port == remote) 373 sock = (struct pico_socket *)index->keyValue; 436 struct pico_tree_node *index; local 437 pico_tree_foreach(index, &sp->socks){ 438 s = index 1768 struct pico_tree_node *index; local 2044 struct pico_tree_node *index; local 2089 struct pico_tree_node *index = NULL, *safe_index = NULL; local 2266 struct pico_tree_node *index; local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/boost/ |
H A D | fusion.hpp | 91 uint32_t index = 0; local 92 boost::fusion::for_each(v, convert_imp(o, index)); 97 convert_imp(msgpack::object const& obj, uint32_t& index):obj_(obj), index_(index) {} argument
|
/seL4-camkes-master/projects/projects_libs/libvswitch/include/ |
H A D | vswitch.h | 126 * @param index Positive integer from 0 to VSWITCH_NUM_NODES. 127 * @return NULL if an invalid index is supplied. Non-NULL if a valid index is 131 size_t index);
|
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | netifapi.c | 111 msg->msg.ifs.index = netif_name_to_index(msg->msg.ifs.name); 125 if (!netif_index_to_name(msg->msg.ifs.index, msg->msg.ifs.name)) { 324 * @param idx output index of the found netif 343 *idx = NETIFAPI_VAR_REF(msg).msg.ifs.index; 354 * @param idx the interface index of the netif 365 NETIFAPI_VAR_REF(msg).msg.ifs.index = idx;
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | fdtQueryEngine.py | 68 node_idx = fdt_root.index(node_string) 77 ret_idx = node.index(name) 158 """ Negative index into the string array is how the the "*" operator is 161 if p_key["index"] < 0: 172 if not len(prop.strings) > p_key["index"]: 175 return prop.strings[p_key["index"]] == val 179 """ Negative index into the string array is how the the "*" operator is 182 if p_key["index"] < 0: 202 if not len(prop.words) > p_key["index"]: 205 return prop.words[p_key["index"]] [all...] |
/seL4-camkes-master/tools/pruner/ |
H A D | main.c | 259 int index = 0; local 260 int c = getopt_long(argc, argv, "a:b:k:o:?", opts, &index); 408 CXIndex index = clang_createIndex(0, 0); local 409 CXTranslationUnit tu = clang_parseTranslationUnit(index, opts->input, args, 454 clang_disposeIndex(index);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 144 int index = INDEX_FOR_LEVEL(start, 0); local 145 uintptr_t cap = level->cap[index]; 151 level->cap[index] = RESERVED; 166 int index = INDEX_FOR_LEVEL(start, level_num); local 169 /* calculate the start of the next index */ 178 uintptr_t next_table = level->table[index]; 194 level->table[index] = next_table;
|
/seL4-camkes-master/kernel/src/arch/arm/object/ |
H A D | smmu.c | 26 word_t index, depth, sid; local 61 index = getSyscallArg(1, buffer); 78 lu_ret = lookupTargetSlot(cnodeCap, index, depth); 189 word_t index, depth, cb; local 212 index = getSyscallArg(1, buffer); 229 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | fdt.c | 133 int index = 0; local 135 if (!strcmp(list, str)) return index; 136 ++index; 345 for (int index = 0; end - value > 0; ++index) { 353 hls->ipi = (void*)((uintptr_t)scan->reg + index * 4); 354 hls->timecmp = (void*)((uintptr_t)scan->reg + 0x4000 + (index * 8)); 432 for (int index = 0; end - value > 0; ++index) { 442 hls->plic_m_ie = (uintptr_t*)((uintptr_t)scan->reg + ENABLE_BASE + ENABLE_SIZE * index); [all...] |