/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | if_freenameindex.c | 4 void if_freenameindex(struct if_nameindex *idx) argument 6 free(idx);
|
H A D | proto.c | 6 static int idx; variable 48 idx = 0; 53 idx = 0; 60 if (idx >= sizeof protos) return NULL; 61 p.p_proto = protos[idx]; 62 p.p_name = (char *)&protos[idx+1]; 64 idx += strlen(p.p_name) + 2;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | arm_vm.h | 9 #define VCPU_BADGE_CREATE(idx) idx + 1
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_tree.h | 73 #define pico_tree_foreach(idx, tree) \ 74 for ((idx) = pico_tree_firstNode((tree)->root); \ 75 (idx) != &LEAF; \ 76 (idx) = pico_tree_next(idx)) 78 #define pico_tree_foreach_reverse(idx, tree) \ 79 for ((idx) = pico_tree_lastNode((tree)->root); \ 80 (idx) != &LEAF; \ 81 (idx) = pico_tree_prev(idx)) [all...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | sntp.h | 58 void sntp_setserver(u8_t idx, const ip_addr_t *addr); 59 const ip_addr_t* sntp_getserver(u8_t idx); 62 u8_t sntp_getreachability(u8_t idx); 66 void sntp_setservername(u8_t idx, const char *server); 67 const char *sntp_getservername(u8_t idx);
|
/seL4-camkes-master/projects/musllibc/src/locale/ |
H A D | langinfo.c | 33 int idx = item & 65535; local 40 if (idx > 1) return ""; 44 if (idx > 0x31) return ""; 48 if (idx > 0) return ""; 52 if (idx > 3) return ""; 59 for (; idx; idx--, str++) for (; *str; str++);
|
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | if_api.c | 90 u8_t idx; local 92 err = netifapi_netif_name_to_index(ifname, &idx); 94 return idx;
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/c/ |
H A D | speed_test_uint32_array.c | 17 size_t idx = 0; local 18 for (; idx < size; ++idx)
|
H A D | speed_test_uint64_array.c | 18 size_t idx = 0; local 19 for (; idx < size; ++idx)
|
/seL4-camkes-master/projects/projects_libs/libvirtqueue/src/ |
H A D | virtqueue.c | 67 ring->idx = 0; 73 ring->idx = 0; 104 static unsigned vq_pop_desc(virtqueue_driver_t *vq, unsigned idx, argument 107 unsigned next = vq->desc_table[idx].next; 111 *buf = (void *)(uintptr_t)(vq->desc_table[idx].addr); 113 *len = vq->desc_table[idx].len; 114 *flag = vq->desc_table[idx].flags; 115 vq->desc_table[idx].next = vq->free_desc_head; 116 vq->free_desc_head = idx; 124 unsigned idx; local 199 unsigned idx = robj->cur; local [all...] |
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/ |
H A D | gic_common.h | 49 #define IDX_TO_IRQT(idx) (((idx) < NUM_PPI*CONFIG_MAX_NUM_NODES) ? \ 50 CORE_IRQ_TO_IRQT((idx) / NUM_PPI, (idx) - ((idx)/NUM_PPI)*NUM_PPI): \ 51 CORE_IRQ_TO_IRQT(0, (idx) - (CONFIG_MAX_NUM_NODES-1)*NUM_PPI))
|
/seL4-camkes-master/projects/lwip/test/unit/etharp/ |
H A D | test_etharp.c | 142 ssize_t idx; local 181 idx = etharp_find_addr(NULL, &adrs[i], &unused_ethaddr, &unused_ipaddr); 182 fail_unless(idx == i); 191 idx = etharp_find_addr(NULL, &adrs[ARP_TABLE_SIZE], &unused_ethaddr, &unused_ipaddr); 192 fail_unless(idx == 0); 216 idx = etharp_find_addr(NULL, &adrs[i], &unused_ethaddr, &unused_ipaddr); 218 fail_unless(idx == i+1); 221 fail_unless(idx == 1); 230 idx = etharp_find_addr(NULL, &adrs[ARP_TABLE_SIZE], &unused_ethaddr, &unused_ipaddr); 231 fail_unless(idx [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/ |
H A D | sel4bench.h | 44 #define SEL4BENCH_READ_PCNT(idx, var) \ 46 asm volatile("csrr %0, hpmcounterh" #idx \ 47 "csrr %1, hpmcounter" #idx \ 48 "csrr %2, hpmcounterh" #idx \ 51 asm volatile("csrr %0, hpmcounter" #idx : "=r"(nL); \ 56 #define SEL4BENCH_READ_PCNT(idx, var) \ 57 asm volatile("csrr %0, hpmcounter" #idx : "=r"(var));
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul.c | 13 uint16_t idx; local 14 vm_guest_read_mem(emul->vm, &idx, (uintptr_t)&vring->avail->idx, sizeof(vring->avail->idx)); 15 return idx; 18 uint16_t ring_avail(virtio_emul_t *emul, struct vring *vring, uint16_t idx) argument 21 vm_guest_read_mem(emul->vm, &elem, (uintptr_t) & (vring->avail->ring[idx % vring->num]), sizeof(elem)); 25 struct vring_desc ring_desc(virtio_emul_t *emul, struct vring *vring, uint16_t idx) argument 28 vm_guest_read_mem(emul->vm, &desc, (uintptr_t) & (vring->desc[idx]), sizeof(desc)); 35 vm_guest_read_mem(emul->vm, &guest_idx, (uintptr_t)&vring->used->idx, sizeo [all...] |
H A D | virtio_console_emul.c | 29 uint16_t idx = virtq->last_idx[RX_QUEUE]; local 30 if (idx != guest_idx) { 39 uint16_t desc_head = ring_avail(emul, vring, idx); 95 uint16_t idx = virtq->last_idx[TX_QUEUE]; local 96 while (idx != guest_idx) { 99 uint16_t desc_head = ring_avail(emul, vring, idx); 122 idx++; 128 virtq->last_idx[TX_QUEUE] = idx;
|
/seL4-camkes-master/kernel/include/machine/ |
H A D | interrupt.h | 47 #define IDX_TO_IRQT(idx) (idx)
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | mux.c | 322 int idx; local 324 idx = gpio_get_xextint_idx(gpio); 325 if (idx < 0) { 328 pend = (bank->ext_xint_pend[idx] & ~bank->ext_xint_mask[idx]) & BIT(pin); 330 bank->ext_xint_pend[idx] = BIT(pin); 333 int idx; local 334 idx = gpio_get_extint_idx(gpio); 335 if (idx < 0) { 338 pend = (bank->ext_int_pend[idx] 359 int idx; local 373 int idx; local [all...] |
/seL4-camkes-master/projects/musllibc/src/misc/ |
H A D | getopt_long.c | 21 static int __getopt_long_core(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx, int longonly); 23 static int __getopt_long(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx, int longonly) argument 42 ret = __getopt_long_core(argc, argv, optstring, longopts, idx, longonly); 52 static int __getopt_long_core(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx, int longonly) argument 102 if (idx) *idx = i; 123 int getopt_long(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx) argument 125 return __getopt_long(argc, argv, optstring, longopts, idx, 0); 128 int getopt_long_only(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx) argument 130 return __getopt_long(argc, argv, optstring, longopts, idx, [all...] |
/seL4-camkes-master/projects/lwip/src/apps/snmp/ |
H A D | snmp_mib2_udp.c | 123 u8_t idx = 0; local 128 idx += snmp_oid_to_ip_port(&row_oid[idx], row_oid_len - idx, &local_ip, &local_port); 129 if (idx == 0) { 134 idx += snmp_oid_to_ip_port(&row_oid[idx], row_oid_len - idx, &remote_ip, &remote_port); 135 if (idx == 0) { 140 if (row_oid_len < (idx 184 u8_t idx = 0; local [all...] |
H A D | snmp_mib2_tcp.c | 335 u8_t idx = 0; local 342 idx += snmp_oid_to_ip_port(&row_oid[idx], row_oid_len - idx, &local_ip, &local_port); 343 if (idx == 0) { 348 idx += snmp_oid_to_ip_port(&row_oid[idx], row_oid_len - idx, &remote_ip, &remote_port); 349 if (idx == 0) { 394 u8_t idx local 444 u8_t idx = 0; local 485 u8_t idx = 0; local [all...] |
/seL4-camkes-master/projects/picotcp/test/ |
H A D | ppp.c | 25 static int idx; variable 70 for(idx = 0; idx < r; idx++) { 71 printf(" %02x", ((uint8_t*)data)[idx]); 86 for(idx = 0; idx < len; idx++) { 87 printf(" %02x", ((uint8_t*)data)[idx]);
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 209 uint32_t idx; local 218 idx = PPTR_BASE >> LARGE_PAGE_BITS; 223 while (idx < (PPTR_TOP >> LARGE_PAGE_BITS)) { 237 ia32KSGlobalPD[idx] = pde; 239 idx++; 258 ia32KSGlobalPD[idx] = pde; 260 assert(idx == (KS_LOG_PPTR >> LARGE_PAGE_BITS)); 261 idx++; 269 idx += TLBBITMAP_ROOT_ENTRIES; 283 ia32KSGlobalPD[idx] [all...] |
/seL4-camkes-master/projects/projects_libs/libvswitch/include/ |
H A D | vswitch.h | 137 int idx = vswitch_get_destnode_index_by_macaddr(lib, mac); local 138 if (idx < 0) { 142 return vswitch_get_destnode_by_index(lib, idx);
|
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdt_wip.c | 60 uint32_t idx, const void *val, 71 if (proplen < (len + idx)) 74 memcpy((char *)propval + idx, val, len); 58 fdt_setprop_inplace_namelen_partial(void *fdt, int nodeoffset, const char *name, int namelen, uint32_t idx, const void *val, int len) argument
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | cpsw.c | 1180 unsigned int idx; local 1186 for (idx = 0; idx < (CPSW_SIZE_CPPI_RAM / 4); idx++, cppiDest++) { 1187 contextPtr->cppiRam[idx] = *cppiDest; 1195 for (idx = 0; idx < CPSW_MAX_NUM_ALE_ENTRY; idx++) { 1196 CPSWALETableEntryGet(contextPtr->aleBase, idx, 1197 &(contextPtr->aleEntry[idx * 1241 unsigned int idx; local [all...] |