/seL4-camkes-master/projects/camkes/apps/swapcounter/ |
H A D | service.c | 13 int temp = *a; local 14 *a = *b; *b = temp;
|
/seL4-camkes-master/projects/musllibc/src/misc/ |
H A D | getdomainname.c | 9 struct utsname temp; local 10 uname(&temp); 11 if (!len || strlen(temp.domainname) >= len) { 15 strcpy(name, temp.domainname);
|
/seL4-camkes-master/projects/util_libs/libutils/src/ |
H A D | debug.c | 37 uint8_t temp = *(volatile uint8_t*)(address + object_offset); local 38 printf("0x%02x ", temp); 39 memcpy(&line[object_offset], &temp, sizeof(temp)); 43 uint16_t temp = *(volatile uint16_t*)(address + object_offset); local 44 printf("0x%04x ", temp); 45 memcpy(&line[object_offset], &temp, sizeof(temp)); 49 uint32_t temp = *(volatile uint32_t*)(address + object_offset); local 50 printf("0x%08x ", temp); 55 uint64_t temp = *(volatile uint64_t*)(address + object_offset); local [all...] |
H A D | list.c | 136 node_t *temp = n->next; local 138 n = temp;
|
H A D | cbor64.c | 181 char *temp = domain->strings[next_ref]; local 183 domain->strings[index] = temp;
|
/seL4-camkes-master/projects/global-components/templates/ |
H A D | seL4Ethdriver-to.template.c | 75 uint8_t temp[] = { local 80 memcpy(mac, temp, sizeof(temp));
|
/seL4-camkes-master/kernel/include/arch/arm/arch/model/ |
H A D | smp.h | 22 void *temp; local 27 : [atomic_var] "=&r"(atomic_status), [prev_output]"=&r"(temp) /* output */ 32 *prev = temp;
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_tree.c | 133 struct pico_tree_node *temp = tree->root; local 138 while(IS_NOT_LEAF(temp)) 140 last_node = temp; 141 result = tree->compare(insert->keyValue, temp->keyValue); 143 temp = (result < 0) ? (temp->leftChild) : (temp->rightChild); 229 static uint8_t pico_tree_delete_node(struct pico_tree *tree, struct pico_tree_node *d, struct pico_tree_node **temp) argument 237 *temp = min->rightChild; 238 if(min->parent == ltemp && IS_NOT_LEAF(*temp)) 256 pico_tree_delete_check_switch(struct pico_tree *tree, struct pico_tree_node *delete, struct pico_tree_node **temp) argument 291 if_nodecolor_black_fix_collisions(struct pico_tree *tree, struct pico_tree_node *temp, uint8_t nodeColor) argument 300 struct pico_tree_node *temp; local 338 struct pico_tree_node*temp; local 366 struct pico_tree_node*temp; local 393 struct pico_tree_node *temp = NULL; local 421 struct pico_tree_node*temp; local 495 struct pico_tree_node*temp; local [all...] |
/seL4-camkes-master/kernel/include/arch/riscv/arch/ |
H A D | machine.h | 130 word_t temp; local 131 asm volatile("csrr %0, stval" : "=r"(temp)); 132 return temp; 137 word_t temp; local 138 asm volatile("csrr %0, scause" : "=r"(temp)); 139 return temp; 144 word_t temp; local 145 asm volatile("csrr %0, sepc" : "=r"(temp)); 146 return temp; 151 word_t temp; local 160 word_t temp; local 167 word_t temp; local 173 word_t temp; local [all...] |
/seL4-camkes-master/projects/musllibc/src/math/ |
H A D | jn.c | 45 double a, b, temp; local 90 case 0: temp = -cos(x)+sin(x); break; 91 case 1: temp = -cos(x)-sin(x); break; 92 case 2: temp = cos(x)-sin(x); break; 94 case 3: temp = cos(x)+sin(x); break; 96 b = invsqrtpi*temp/sqrt(x); 102 temp = b; 104 a = temp; 115 temp = x*0.5; 116 b = temp; 219 double a, b, temp; local [all...] |
H A D | jnf.c | 23 float a, b, temp; local 53 temp = b; 55 a = temp; 64 temp = 0.5f * x; 65 b = temp; 69 b *= temp; /* b = (x/2)^n */ 134 temp = b; 136 a = temp; 140 temp = b; 142 a = temp; 166 float a, b, temp; local [all...] |
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/machine/ |
H A D | fpu.h | 17 word_t temp; local 43 : "=&r"(temp) 52 word_t temp; local 78 : "=&r"(temp)
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_fragments.c | 218 struct pico_tree_node *index, *temp; local 225 pico_tree_foreach_safe(index, tree, temp) { 448 struct pico_frame *temp = NULL; local 450 temp = pico_frame_copy(f); 452 if (!temp) { 457 if (pico_tree_insert(&ipv6_fragments, temp)) { 459 pico_frame_discard(temp); 466 struct pico_frame *temp = NULL; local 474 temp = pico_frame_copy(f); 476 if (!temp) { 524 struct pico_frame *temp = NULL; local 542 struct pico_frame *temp = NULL; local [all...] |
H A D | pico_ipfilter.c | 438 struct filter_node temp; local 443 memset(&temp, 0u, sizeof(struct filter_node)); 445 temp.fdev = f->dev; 446 temp.out_addr = ipv4_hdr->dst.addr; 447 temp.in_addr = ipv4_hdr->src.addr; 450 temp.out_port = short_be(trans->dport); 451 temp.in_port = short_be(trans->sport); 459 temp.proto = ipv4_hdr->proto; 460 temp.priority = f->priority; 461 temp [all...] |
H A D | pico_sntp_client.c | 531 pico_time diff, temp; local 545 temp = server_time.tv_msec + (uint32_t)(diff & SNTP_BITMASK) % SNTP_THOUSAND; 546 tv->tv_sec = server_time.tv_sec + ((uint64_t)diffH << 32) + diffL + (uint32_t)temp / SNTP_THOUSAND; 547 tv->tv_msec = (uint32_t)(temp & SNTP_BITMASK) % SNTP_THOUSAND;
|
H A D | pico_dns_common.c | 230 char temp[256] = { local 248 memcpy(temp, qname, namelen); 249 pico_dns_notation_to_name(temp, namelen); 250 memcpy((void *)url, (void *)(temp + 1), (size_t)(namelen - 1)); 1384 uint16_t temp = 0; local 1395 pico_tree_size(qtree, &temp, &pico_dns_question_size); 1396 destination = destination + temp;
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | arith.h | 55 ({ uint32_t temp = (uint32_t) x; \ 56 temp |= (temp >> 1); \ 57 temp |= (temp >> 2); \ 58 temp |= (temp >> 4); \ 59 temp |= (temp >> 8); \ 60 temp | [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | intel.c | 246 uint32_t temp = REG_CTRL(dev); local 247 temp |= CTRL_SLU; 248 REG_CTRL(dev) = temp; 287 uint32_t temp; local 296 temp = phy_read(dev, 1, 9); 297 temp |= BIT(12) | BIT(11); 298 phy_write(dev, 1, 9, temp); 348 uint32_t temp; local 352 temp = REG_82580_TXDCTL(dev, 0); 353 temp 379 uint32_t temp = 0; local 439 uint32_t temp = 0; local 463 uint32_t temp; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
H A D | sel4bench.h | 239 ia32_pmc_perfevtsel_t temp; local 240 temp.raw = sel4bench_x86_rdmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter); 243 temp.EN = 1; 246 sel4bench_x86_wrmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter, temp.raw); 288 ia32_pmc_perfevtsel_t temp; local 289 temp.raw = sel4bench_x86_rdmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter); 292 temp.EN = 0; 295 sel4bench_x86_wrmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter, temp.raw);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | serial.c | 153 uint32_t temp; local 155 if (ps_io_port_in(&dev->ioops.io_port_ops, CONSOLE(io_port, RBR), 1, &temp) != 0) { 159 if (ps_io_port_in(&dev->ioops.io_port_ops, CONSOLE(io_port, LSR), 1, &temp) != 0) { 163 if (ps_io_port_in(&dev->ioops.io_port_ops, CONSOLE(io_port, MSR), 1, &temp) != 0) {
|
H A D | rtc.c | 90 rtc_raw_t temp; local 93 read_rtc(io_port_ops, century_reg, &temp); 94 } while (time_cmp(raw_time, temp) != 0);
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | beaglebone.c | 34 for (int temp = 0; temp < LEN_MAC_ADDRESS; temp++) { 35 mac[temp] = cpswif->eth_addr[temp]; 387 for (int temp = 0; temp < LEN_MAC_ADDRESS; temp++) { 388 cpswPortIf[0].eth_addr[temp] = 389 mac[(LEN_MAC_ADDRESS - 1) - temp]; [all...] |
/seL4-camkes-master/kernel/include/drivers/irq/ |
H A D | riscv_plic0.h | 64 word_t temp; local 65 asm volatile("csrr %0, sie" : "=r"(temp)); 66 return temp;
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | io.c | 90 ll_t *temp = *l; local 92 ps_free(malloc_ops, sizeof(*temp), temp); 426 ll_t *temp = curr; local 430 ZF_LOGF_IF(ps_free(&ops->malloc_ops, sizeof(*temp), temp), "Failed to deallocate a ll_t node");
|
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 224 word_t temp; local 227 "movabs $1f, %[temp] \n" 228 "movq %[temp], (%[returnto_addr]) \n\ 234 [temp] "=&r"(temp),
|