/seL4-test-master/projects/musllibc/src/stdlib/ |
H A D | ecvt.c | 8 char tmp[32]; local 12 sprintf(tmp, "%.*e", n-1, x); 13 i = *sign = (tmp[0]=='-'); 14 for (j=0; tmp[i]!='e'; j+=(tmp[i++]!='.')) 15 buf[j] = tmp[i]; 17 *dp = atoi(tmp+i+1)+1;
|
H A D | fcvt.c | 8 char tmp[1500]; local 12 sprintf(tmp, "%.*f", n, x); 13 i = (tmp[0] == '-'); 14 if (tmp[i] == '0') lz = strspn(tmp+i+2, "0"); 15 else lz = -(int)strcspn(tmp+i, ".");
|
/seL4-test-master/projects/musllibc/src/linux/x32/ |
H A D | sysinfo.c | 26 struct kernel_sysinfo tmp; local 27 int ret = syscall(SYS_sysinfo, &tmp); 29 info->uptime = tmp.uptime; 30 info->loads[0] = tmp.loads[0]; 31 info->loads[1] = tmp.loads[1]; 32 info->loads[2] = tmp.loads[2]; 34 kulong max = tmp.totalram | tmp.totalswap; 37 info->totalram = tmp.totalram >> shifts; 38 info->freeram = tmp [all...] |
/seL4-test-master/projects/musllibc/src/thread/ |
H A D | vmlock.c | 7 int tmp; local 8 while ((tmp=vmlock[0])) 9 __wait(vmlock, vmlock+1, tmp, 1);
|
H A D | pthread_setattr_default_np.c | 10 pthread_attr_t tmp = *attrp, zero = { 0 }; local 11 tmp._a_stacksize = 0; 12 tmp._a_guardsize = 0; 13 if (memcmp(&tmp, &zero, sizeof tmp))
|
/seL4-test-master/projects/musllibc/src/network/ |
H A D | res_querydomain.c | 6 char tmp[255]; local 10 memcpy(tmp, name, nl); 11 tmp[nl] = '.'; 12 memcpy(tmp+nl+1, domain, dl+1); 13 return res_query(tmp, class, type, dest, len);
|
H A D | lookup_ipliteral.c | 27 char tmp[64]; local 31 memcpy(tmp, name, p-name); 32 tmp[p-name] = 0; 33 name = tmp;
|
/seL4-test-master/projects/musllibc/arch/microblaze/ |
H A D | atomic_arch.h | 4 register int old, tmp; local 14 : "=&r"(old), "=&r"(tmp) 23 register int old, tmp; local 31 : "=&r"(old), "=&r"(tmp) 40 register int new, tmp; local 49 : "=&r"(new), "=&r"(tmp)
|
/seL4-test-master/projects/musllibc/src/unistd/ |
H A D | getcwd.c | 9 char tmp[PATH_MAX]; local 11 buf = tmp; 18 return buf == tmp ? strdup(buf) : buf;
|
/seL4-test-master/projects/musllibc/src/linux/ |
H A D | prlimit.c | 10 struct rlimit tmp; local 13 tmp = *new_limit; 14 FIX(tmp.rlim_cur); 15 FIX(tmp.rlim_max); 16 new_limit = &tmp;
|
/seL4-test-master/tools/seL4/elfloader-tool/include/arch-arm/64/mode/ |
H A D | assembler.h | 69 .macro enable_mmu sctlr tmp 70 mrs \tmp, \sctlr 71 orr \tmp, \tmp, #(1 << 0) variable 72 orr \tmp, \tmp, #(1 << 2) variable 73 orr \tmp, \tmp, #(1 << 12) variable 74 msr \sctlr, \tmp 78 .macro disable_mmu sctlr tmp 80 bic \\tmp, \\tmp, #(1 << 0) variable 81 bic \\tmp, \\tmp, #(1 << 2) variable 82 bic \\tmp, \\tmp, #(1 << 12) variable 89 bic \\tmp, \\tmp, #(1 << 2) variable 90 bic \\tmp, \\tmp, #(1 << 12) variable [all...] |
/seL4-test-master/projects/musllibc/tools/ |
H A D | install.sh | 30 tmp="$dst.tmp.$$" 46 trap 'rm -f "$tmp"' EXIT INT QUIT TERM HUP 51 ln -s "$1" "$tmp" 53 cat < "$1" > "$tmp" 54 chmod "$mode" "$tmp" 57 mv -f "$tmp" "$2" 59 rm -f "$2/$tmp"
|
/seL4-test-master/projects/musllibc/src/misc/ |
H A D | realpath.c | 18 char tmp[PATH_MAX]; local 29 r = readlink(buf, tmp, sizeof tmp - 1); 31 tmp[r] = 0; 34 r = stat(tmp, &st2); 41 return resolved ? strcpy(resolved, tmp) : strdup(tmp);
|
H A D | setrlimit.c | 12 struct rlimit tmp; local 14 tmp = *rlim; 15 FIX(tmp.rlim_cur); 16 FIX(tmp.rlim_max); 17 rlim = &tmp;
|
/seL4-test-master/projects/musllibc/src/locale/ |
H A D | newlocale.c | 14 struct __locale_struct tmp; local 36 tmp.cat[i] = lm; 41 if (j==1 && tmp.cat[LC_CTYPE]==&__c_dot_utf8) 44 if ((loc = malloc(sizeof *loc))) *loc = tmp;
|
/seL4-test-master/projects/musllibc/src/stdio/ |
H A D | getdelim.c | 10 char *tmp; local 34 tmp = realloc(*s, m); 35 if (!tmp) { 37 tmp = realloc(*s, m); 38 if (!tmp) goto oom; 40 *s = tmp;
|
/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | server.c | 102 serial_server_registry_entry_t *tmp; local 104 tmp = serial_server_registry_get_entry_by_badge(badge_value); 105 if (tmp == NULL) { 109 return tmp->badge_value != SERIAL_SERVER_BADGE_VALUE_EMPTY; 135 serial_server_registry_entry_t *tmp; local 144 tmp = realloc(get_serial_server()->registry, 147 if (tmp == NULL) { 152 get_serial_server()->registry = tmp; 166 serial_server_registry_entry_t *tmp; local 172 tmp 184 serial_server_registry_entry_t *tmp; local 202 serial_server_registry_entry_t *tmp; local 422 serial_server_registry_entry_t *tmp; local [all...] |
/seL4-test-master/projects/musllibc/src/stat/ |
H A D | utimensat.c | 12 struct timeval *tv = 0, tmp[2]; local 15 tv = tmp; 27 tmp[i].tv_sec = times[i].tv_sec; 28 tmp[i].tv_usec = times[i].tv_nsec / 1000;
|
/seL4-test-master/projects/musllibc/src/dirent/ |
H A D | scandir.c | 14 struct dirent *de, **names=0, **tmp; local 25 tmp = realloc(names, len * sizeof *names); 26 if (!tmp) break; 27 names = tmp;
|
/seL4-test-master/tools/seL4/misc/ |
H A D | whence.py | 30 self.tmp = tempfile.mkdtemp() 31 subprocess.check_call(['git', 'clone', url, self.tmp]) 34 subprocess.check_call(['git', 'checkout', commit], cwd=self.tmp) 39 cwd=os.path.join(self.tmp, subdir)).split()) 42 shutil.rmtree(self.tmp) 97 src = os.path.join(upstream.tmp, opts.upstream_subdir) 98 dst = os.path.join(downstream.tmp, opts.downstream_subdir)
|
/seL4-test-master/projects/util_libs/libfdt/ |
H A D | libfdt.h | 1264 fdt32_t tmp = cpu_to_fdt32(val); local 1265 return fdt_setprop_inplace(fdt, nodeoffset, name, &tmp, sizeof(tmp)); 1299 fdt64_t tmp = cpu_to_fdt64(val); local 1300 return fdt_setprop_inplace(fdt, nodeoffset, name, &tmp, sizeof(tmp)); 1376 fdt32_t tmp = cpu_to_fdt32(val); local 1377 return fdt_property(fdt, name, &tmp, sizeof(tmp)); 1381 fdt64_t tmp local 1587 fdt32_t tmp = cpu_to_fdt32(val); local 1622 fdt64_t tmp = cpu_to_fdt64(val); local 1759 fdt32_t tmp = cpu_to_fdt32(val); local 1794 fdt64_t tmp = cpu_to_fdt64(val); local [all...] |
/seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | cspacepath_t.h | 97 cspacepath_t tmp = *a; local 99 *b = tmp;
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | fp_emulation.h | 16 uintptr_t tmp; \ 17 asm ("1: auipc %0, %%pcrel_hi(get_f32_reg); add %0, %0, %1; jalr t0, %0, %%pcrel_lo(1b)" : "=&r"(tmp), "+&r"(value) :: "t0"); \ 22 uintptr_t tmp; \ 23 asm volatile ("1: auipc %0, %%pcrel_hi(put_f32_reg); add %0, %0, %2; jalr t0, %0, %%pcrel_lo(1b)" : "=&r"(tmp) : "r"(value), "r"(offset) : "t0"); }) 27 uintptr_t tmp; \ 28 asm ("1: auipc %0, %%pcrel_hi(get_f64_reg); add %0, %0, %1; jalr t0, %0, %%pcrel_lo(1b)" : "=&r"(tmp), "+&r"(value) :: "t0"); \ 34 uintptr_t tmp; \ 35 asm volatile ("1: auipc %0, %%pcrel_hi(put_f64_reg); add %0, %0, %2; jalr t0, %0, %%pcrel_lo(1b)" : "=&r"(tmp) : "r"(value), "r"(offset) : "t0"); })
|
/seL4-test-master/kernel/manual/tools/libsel4_tools/ |
H A D | changed.sh | 31 TMP_FILE=`mktemp /tmp/XXXXXXXX`
|
/seL4-test-master/kernel/libsel4/tools/ |
H A D | changed.sh | 31 TMP_FILE=`mktemp /tmp/XXXXXXXX`
|