Searched refs:index (Results 101 - 125 of 194) sorted by relevance

12345678

/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h38 * @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 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_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_mld.c168 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 Dpico_nat.c129 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 Dgic_v2.c155 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 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)
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dmemalloc.c249 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 Ddeprecated.h100 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 Dsnmp_table.h53 u32_t index; member in struct:snmp_table_col_def
99 u32_t index; member in struct:snmp_table_simple_col_def
H A Dfs.h68 int index; member in struct:fs_file
H A Dsnmpv3.h87 err_t snmpv3_get_username(char *username, u8_t index);
/seL4-camkes-master/kernel/include/kernel/
H A Dsporadic.h43 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 Dwhence.py91 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 Dpico_stack.c662 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 Dpico_device.c440 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 Dpico_socket.c342 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 Dfusion.hpp91 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 Dvswitch.h126 * @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 Dnetifapi.c111 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 DfdtQueryEngine.py68 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 Dmain.c259 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 Dbootstrap.c144 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 Dsmmu.c26 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 Dfdt.c133 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...]

Completed in 177 milliseconds

12345678