/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | stack.c | 21 sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval) argument 30 if (retval != NULL) { 31 *retval = ret;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | stack.h | 23 * @param[out] retval The return value of func is written to this pointer if it is non-null 27 int sel4utils_run_on_stack(vspace_t *vspace, void * (*func)(void *arg), void *arg, void **retval);
|
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | syscall_mman.c | 57 register_t retval[2]; local 68 error = rump_syscall(SYS_mmap, &callarg, sizeof(callarg), retval); 71 return (void *)retval[0]; 82 register_t retval[2]; local 89 error = rump_syscall(SYS_munmap, &callarg, sizeof(callarg), retval); 92 return (int)retval[0]; 102 register_t retval[2]; local 109 error = rump_syscall(SYS___msync13, &callarg, sizeof(callarg), retval); 123 register_t retval[2]; local 131 error = rump_syscall(SYS_mincore, &callarg, sizeof(callarg), retval); 143 register_t retval[2]; local [all...] |
H A D | rumprun.c | 326 void *retval; local 328 pthread_join(rr->rr_mainthread, &retval); 335 return (int)(intptr_t)retval;
|
H A D | sysproxy.c | 1069 long retval[2] = {0, 0}; local 1073 rv = rumpuser__hyp.hyp_syscall(sysnum, data, retval); 1076 regrv[0] = retval[0]; 1077 regrv[1] = retval[1]; 1142 register_t *retval) 1156 memcpy(sysresp.rsys_retval, retval, sizeof(sysresp.rsys_retval)); 1483 register_t retval[2] = {0, 0}; local 1491 retval[0] = -1; 1492 send_syscall_resp(spc, rhdr->rsp_reqno, rv, retval); 1496 rv = rumpsyscall(sysnum, data, retval); 1141 send_syscall_resp(struct spclient *spc, uint64_t reqno, int error, register_t *retval) argument 2194 register_t retval[2] = {0, 0}; local [all...] |
/seL4-camkes-master/tools/rumprun/lib/libbmk_rumpuser/ |
H A D | rumpuser_mem.c | 50 rumpuser_malloc(size_t len, int alignment, void **retval) argument 58 *retval = bmk_memalloc(len, alignment, BMK_MEMWHO_RUMPKERN); 63 *retval = bmk_pgalloc_align(len2order(len), alignment); 65 if (*retval)
|
/seL4-camkes-master/projects/lwip/src/apps/snmp/ |
H A D | snmp_threadsync.c | 59 call_data->retval.s16 = call_data->proxy_instance.get_value(&call_data->proxy_instance, call_data->arg1.value); 61 call_data->retval.s16 = -1; 75 return call_data->retval.s16; 84 call_data->retval.err = call_data->proxy_instance.set_test(&call_data->proxy_instance, call_data->arg2.len, call_data->arg1.value); 86 call_data->retval.err = SNMP_ERR_NOTWRITABLE; 101 return call_data->retval.err; 110 call_data->retval.err = call_data->proxy_instance.set_value(&call_data->proxy_instance, call_data->arg2.len, call_data->arg1.value); 112 call_data->retval.err = SNMP_ERR_NOTWRITABLE; 127 return call_data->retval.err; 156 call_data->retval [all...] |
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | mtrap.c | 136 uintptr_t n = regs[17], arg0 = regs[10], arg1 = regs[11], retval, ipi_type; local 141 retval = mcall_console_putchar(arg0); 144 retval = mcall_console_getchar(); 157 retval = 0; 160 retval = mcall_clear_ipi(); 163 retval = mcall_shutdown(); 167 retval = mcall_set_timer(arg0 + ((uint64_t)arg1 << 32)); 169 retval = mcall_set_timer(arg0); 173 retval = -ENOSYS; 176 regs[10] = retval; [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_sntp_client.c | 268 int retval = -1; local 280 retval = pico_string_to_ipv6(ip, address.ip6.addr); 283 retval = -1; 291 retval = pico_string_to_ipv4(ip, (uint32_t *)&address.ip4.addr); 294 retval = -1; 300 if (retval >= 0) { 301 retval = pico_sntp_sync_start(ck, &address); 302 if (retval < 0) 312 int retval = -1; local 337 retval 349 int retval = -1; local [all...] |
H A D | pico_dev_tap.c | 125 int retval = -1; local 129 return retval;
|
H A D | pico_ethernet.c | 267 int retval = -1; local 278 retval = 0; 284 retval = 0; 292 return retval;
|
H A D | pico_socket_udp.c | 166 int retval = pico_socket_udp_deliver_ipv6_mcast(s, f); local 168 return retval;
|
H A D | pico_ipv4.c | 970 int32_t retval = 0; local 1103 retval = pico_enqueue(&in, cpy); 1104 if (retval <= 0) 1123 retval = pico_enqueue(&in, f); 1124 if (retval > 0) 1125 return retval; 1128 retval = pico_enqueue(&out, f); 1129 if (retval > 0) 1130 return retval;
|
H A D | pico_olsr.c | 814 uint32_t retval = 0; local 817 retval = 1; 823 retval = 1; 852 return retval; 873 return retval;
|
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | multicast_ip6_send.c | 21 int retval = 0; local 106 retval = 1; 124 if (retval) 125 exit(retval);
|
/seL4-camkes-master/tools/rumprun/lib/librumpkern_mman/ |
H A D | sys_mman.c | 117 sys_mmap(struct lwp *l, const struct sys_mmap_args *uap, register_t *retval) argument 154 *retval = (register_t)v; 200 register_t *retval) 216 sys_munmap(struct lwp *l, const struct sys_munmap_args *uap, register_t *retval) argument 239 register_t *retval) 259 register_t *retval) 269 sys_mprotect(struct lwp *l, const struct sys_mprotect_args *uap, register_t *retval) argument 285 *retval = -1; 199 sys___msync13(struct lwp *l, const struct sys___msync13_args *uap, register_t *retval) argument 238 sys_mincore(struct lwp *l, const struct sys_mincore_args *uap, register_t *retval) argument 258 sys_madvise(struct lwp *l, const struct sys_madvise_args *uap, register_t *retval) argument
|
/seL4-camkes-master/projects/musllibc/src/search/ |
H A D | hsearch.c | 128 int __hsearch_r(ENTRY item, ACTION action, ENTRY **retval, struct hsearch_data *htab) argument 134 *retval = e; 138 *retval = 0; 146 *retval = 0; 151 *retval = e;
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | sys_select.c | 93 int retval; local 116 retval = sock_select(find_max_sockfd(nfds) + 1); 138 return retval;
|
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
H A D | xenio.h | 39 long retval; member in struct:privcmd_hypercall
|
H A D | privcmd.c | 241 hc->retval = err; 245 hc->retval = 0;
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | snmp_threadsync.h | 62 } retval; member in struct:threadsync_data
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
H A D | subr_prf.c | 174 int retval; local 178 retval = bmk_vsnprintf(bf, size, fmt, ap); 181 return retval; 194 int retval; local 198 retval = kprintf(fmt, TOBUFONLY, &p, bf, ap); 201 if (size <= (unsigned long)retval) 204 bf[retval] = '\0'; 206 return retval;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/ |
H A D | pico_dev_eth.c | 34 int retval = pico_iface->next_free_buf; local 35 pico_iface->next_free_buf = pico_iface->buf_pool[retval]; 36 return retval;
|
/seL4-camkes-master/projects/musllibc/src/crypt/ |
H A D | crypt_des.c | 655 int retval; local 657 retval = sch - '.'; 659 retval = sch - ('A' - 12); 661 retval = sch - ('a' - 38); 663 retval &= 0x3f; 665 return retval; 993 char *retval; local 1004 retval = _crypt_extended_r_uut(key, setting, output); 1014 if (p && !strcmp(p, test_hash) && retval) 1015 return retval; [all...] |
H A D | crypt_blowfish.c | 752 char *retval; local 761 retval = BF_crypt(key, setting, output, 16); 771 if (retval) 794 if (ok && retval) 795 return retval;
|