/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
H A D | clock.h | 43 #define CLK_GATE(reg, index) (((reg) << 4) + (index))
|
/seL4-camkes-master/kernel/include/arch/x86/arch/model/ |
H A D | smp.h | 29 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 D | strings.h | 19 char *index (const char *, int);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.h | 63 * 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 D | f16_sqrt.c | 56 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 D | pico_dhcp_client.h | 21 struct pico_ip4 pico_dhcp_get_nameserver(void*cli, int index);
|
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...] |
/seL4-camkes-master/projects/lwip/src/apps/snmp/ |
H A D | snmp_table.c | 61 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 D | vgadriver.c | 68 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 D | bootinfo.c | 40 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 D | smp.h | 23 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 D | ipi.c | 119 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 D | vspace_internal.h | 71 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 D | boot.c | 51 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 D | pico_socket_multicast.c | 234 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 D | vswitch.c | 94 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 D | cpio.h | 48 * 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 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/kernel/src/arch/x86/64/model/ |
H A D | smp.c | 20 node_info[cpu_index].index = cpu_index;
|
/seL4-camkes-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 100 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.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/camkes-tool/tools/ |
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/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | irq_combiner.c | 68 /* 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 D | mmc.c | 124 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 D | vsyscall.c | 205 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;
|