Searched refs:index (Results 51 - 75 of 194) sorted by relevance

12345678

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/
H A Dclock.h43 #define CLK_GATE(reg, index) (((reg) << 4) + (index))
/seL4-camkes-master/kernel/include/arch/x86/arch/model/
H A Dsmp.h29 static inline cpu_id_t cpuIndexToID(word_t index) argument
31 return cpu_mapping.index_to_cpu_id[index];
/seL4-camkes-master/projects/musllibc/include/
H A Dstrings.h19 char *index (const char *, int);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dregions.h63 * Returns the index that the region was placed at,
95 * remove the region at index "index" from the table
96 * returns 0 on success, !0 if the index was invalid
99 remove_region(RegionList_t* region_list, int index);
104 int index = region_list->region_count - 1; local
105 return remove_region(region_list, index);
111 * Returns an index to the region in region_list or -1 on error.
127 * Splits the region at index. A new region is created which
128 * takes "size" bytes from the region at index
[all...]
/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Df16_sqrt.c56 int index; local
100 index = (sigA>>6 & 0xE) + expA;
101 r0 = softfloat_approxRecipSqrt_1k0s[index]
102 - (((uint_fast32_t) softfloat_approxRecipSqrt_1k1s[index]
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dhcp_client.h21 struct pico_ip4 pico_dhcp_get_nameserver(void*cli, int index);
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...]
/seL4-camkes-master/projects/lwip/src/apps/snmp/
H A Dsnmp_table.c61 if (col_def->index == instance->instance_oid.id[1]) {
123 if (col_def->index == column) {
126 } else if ((col_def->index > column) && ((next_col_def == NULL) || (col_def->index < next_col_def->index))) {
141 &next_col_def->index,
151 column = next_col_def->index + 1;
157 instance->instance_oid.id[1] = col_def->index;
187 if (col_def->index == instance->instance_oid.id[1]) {
258 if (col_def->index
[all...]
/seL4-camkes-master/projects/camkes/apps/vgatest/components/VGADriver/
H A Dvgadriver.c68 const size_t index = y * VGA_WIDTH + x; local
69 terminal_buffer[index] = vga_entry(' ', terminal_color);
80 const size_t index = y * VGA_WIDTH + x; local
81 terminal_buffer[index] = vga_entry(c, color);
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/
H A Dbootinfo.c40 int index = info->untypedList[i].sizeBits; local
41 assert(index < ARRAY_SIZE(sizes));
42 sizes[index]++;
/seL4-camkes-master/kernel/include/arch/riscv/arch/model/
H A Dsmp.h23 static inline cpu_id_t cpuIndexToID(word_t index) argument
25 assert(index < CONFIG_MAX_NUM_NODES);
26 return coreMap.map[index];
/seL4-camkes-master/kernel/src/smp/
H A Dipi.c119 int index = wordBits - 1 - clzl(mask); local
121 big_kernel_lock.node_owners[index].ipi = 1;
122 target_cores[nr_target_cores] = index;
125 ipi_send_target(ipi, cpuIndexToID(index));
127 mask &= ~BIT(index);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h71 int index = INDEX_FOR_LEVEL(start, 0); local
72 uintptr_t cap = level->cap[index];
80 level->cap[index] = RESERVED;
81 level->cookie[index] = 0;
92 int index = INDEX_FOR_LEVEL(start, level_num); local
95 /* calculate the start of the next index */
104 uintptr_t next_table = level->table[index];
124 level->table[index] = next_table;
148 int index = INDEX_FOR_LEVEL(start, 0); local
149 uintptr_t cap = level->cap[index];
165 int index = INDEX_FOR_LEVEL(start, level_num); local
198 int index = INDEX_FOR_LEVEL(start, 0); local
216 int index = INDEX_FOR_LEVEL(start, level_num); local
256 int index = INDEX_FOR_LEVEL(start, 0); local
271 int index = INDEX_FOR_LEVEL(start, level_num); local
381 int index = INDEX_FOR_LEVEL(vaddr, i); local
400 int index = INDEX_FOR_LEVEL(vaddr, i); local
[all...]
/seL4-camkes-master/kernel/src/arch/arm/kernel/
H A Dboot.c51 int index = 1; local
54 reserved[index].start = (pptr_t) paddr_to_pptr(dtb_p_reg.start);
55 reserved[index].end = (pptr_t) paddr_to_pptr(dtb_p_reg.end);
56 index++;
68 reserved[index] = mode_reserved_region[0];
69 index++;
70 reserved[index].start = ui_reg.start;
71 reserved[index].end = ui_reg.end;
73 reserved[index].start = ui_reg.start;
74 reserved[index]
89 init_freemem(get_num_avail_p_regs(), get_avail_p_regs(), index, reserved, it_v_reg, extra_bi_size_bits); local
[all...]
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket_multicast.c234 struct pico_tree_node *index = NULL, *_tmp = NULL; local
237 pico_tree_foreach_safe(index, &MCASTFilter, _tmp)
239 source = pico_tree_findKey(&listen->MCASTSources, index->keyValue);
241 pico_tree_delete(&MCASTFilter, index->keyValue);
247 pico_tree_foreach_safe(index, &MCASTFilter_ipv6, _tmp)
249 source = pico_tree_findKey(&listen->MCASTSources_ipv6, index->keyValue);
251 pico_tree_delete(&MCASTFilter_ipv6, index->keyValue);
264 struct pico_tree_node *index = NULL, *_tmp = NULL; local
267 pico_tree_foreach_safe(index, &listen->MCASTSources, _tmp)
269 source = pico_tree_findKey(&MCASTFilter, index
293 struct pico_tree_node *index = NULL, *_tmp = NULL; local
353 struct pico_tree_node *index = NULL, *_tmp = NULL; local
418 struct pico_tree_node *index = NULL, *_tmp = NULL; local
460 struct pico_tree_node *index = NULL; local
497 struct pico_tree_node *index = NULL; local
843 struct pico_tree_node *index = NULL, *_tmp = NULL, *index2 = NULL, *_tmp2 = NULL; local
1023 struct pico_tree_node *_tmp, *index; local
[all...]
/seL4-camkes-master/projects/projects_libs/libvswitch/src/
H A Dvswitch.c94 vswitch_node_t *vswitch_get_destnode_by_index(vswitch_t *lib, size_t index) argument
96 if (mac802_addr_eq((void *)&lib->nodes[index].addr, &null_macaddr)) {
97 /* If the index requested is has a NULL mac addr in it, return
103 return (vswitch_node_t *)&lib->nodes[index];
/seL4-camkes-master/projects/util_libs/libcpio/include/cpio/
H A Dcpio.h48 * Retrieve file information from a provided CPIO list index
50 * @param[in] index The index of the CPIO entry to query
55 * @return The location of the file in memory; NULL if the index
58 void *cpio_get_entry(void *archive, unsigned long len, int index, const char **name, unsigned long *size);
/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/kernel/src/arch/x86/64/model/
H A Dsmp.c20 node_info[cpu_index].index = cpu_index;
/seL4-camkes-master/kernel/src/arch/x86/smp/
H A Dipi.c100 int index = wordBits - 1 - clzl(sub_mask); local
101 target_clusters[nr_target_clusters] |= cpu_mapping.index_to_logical_id[index];
103 big_kernel_lock.node_owners[index].ipi = 1;
105 sub_mask &= ~BIT(index);
/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/camkes-tool/tools/
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/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dirq_combiner.c68 /* Decode group and index */
83 cirq->index = i;
98 i = cirq->index;
162 int group, index; local
164 (void)index;
175 index = i % 8;
176 ZF_LOGD("enable IRQ %d.%d (%d)\n", group, index, group + 32);
189 index = i % 8;
190 ZF_LOGD("disable IRQ %d.%d (%d)\n", group, index, group + 32);
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/
H A Dmmc.c124 static struct mmc_cmd *mmc_cmd_new(uint32_t index, uint32_t arg, int rsp_type) argument
130 cmd->index = index;
196 cmd.index = MMC_ALL_SEND_CID;
217 cmd.index = MMC_SEND_RELATIVE_ADDR;
225 cmd.index = MMC_SEND_CSD;
237 cmd.index = MMC_SEND_STATUS;
242 cmd.index = MMC_SELECT_CARD;
252 cmd.index = MMC_APP_CMD;
256 cmd.index
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dvsyscall.c205 int index = find_sparse_syscall(syscall); local
206 if (index < 0) {
210 ret = sparse_syscall_table[index].syscall;
211 sparse_syscall_table[index].syscall = ret;
274 int index = find_sparse_syscall(sysnum); local
275 if (index < 0) {
279 syscall = sparse_syscall_table[index].syscall;

Completed in 164 milliseconds

12345678