/seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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),
|
/seL4-test-master/tools/nanopb/ |
H A D | pb_decode.c | 278 uint32_t temp; local 283 if (!pb_decode_varint32_eof(stream, &temp, eof)) 288 *tag = temp >> 3; 289 *wire_type = (pb_wire_type_t)(temp & 7);
|