/seL4-test-master/projects/musllibc/src/network/ |
H A D | res_state.c | 7 static struct __res_state res; local 8 return &res;
|
H A D | getservbyname.c | 8 struct servent *res; local 9 if (getservbyname_r(name, prots, &se, (void *)buf, sizeof buf, &res))
|
H A D | getservbyport.c | 8 struct servent *res; local 9 if (getservbyport_r(port, prots, &se, (void *)buf, sizeof buf, &res))
|
H A D | gethostbyname_r.c | 8 struct hostent **res, int *err) 10 return gethostbyname2_r(name, AF_INET, h, buf, buflen, res, err); 6 gethostbyname_r(const char *name, struct hostent *h, char *buf, size_t buflen, struct hostent **res, int *err) argument
|
/seL4-test-master/projects/musllibc/src/passwd/ |
H A D | getpwent.c | 18 struct passwd *res; local 21 __getpwent_a(f, &pw, &line, &size, &res); 22 return res; 27 struct passwd *res; local 28 __getpw_a(0, uid, &pw, &line, &size, &res); 29 return res; 34 struct passwd *res; local 35 __getpw_a(name, 0, &pw, &line, &size, &res); 36 return res;
|
H A D | fgetpwent.c | 9 struct passwd *res; local 10 __getpwent_a(f, &pw, &line, &size, &res); 11 return res;
|
H A D | getgrent.c | 17 struct group *res; local 21 __getgrent_a(f, &gr, &line, &size, &mem, &nmem, &res); 22 return res; 27 struct group *res; local 29 __getgr_a(0, gid, &gr, &line, &size, &mem, &nmem, &res); 30 return res; 35 struct group *res; local 37 __getgr_a(name, 0, &gr, &line, &size, &mem, &nmem, &res); 38 return res;
|
H A D | fgetgrent.c | 8 struct group *res; local 10 __getgrent_a(f, &gr, &line, &size, &mem, &nmem, &res); 11 return res;
|
H A D | fgetspent.c | 9 struct spwd *res = 0; local 12 if (getline(&line, &size, f) >= 0 && __parsespent(line, &sp) >= 0) res = &sp; 14 return res;
|
H A D | getspnam.c | 9 struct spwd *res; local 14 e = getspnam_r(name, &sp, line, LINE_LIM, &res); 16 return res;
|
H A D | getgr_r.c | 6 static int getgr_r(const char *name, gid_t gid, struct group *gr, char *buf, size_t size, struct group **res) argument 18 rv = __getgr_a(name, gid, gr, &line, &len, &mem, &nmem, res); 19 if (*res && size < len + (nmem+1)*sizeof(char *) + 32) { 20 *res = 0; 23 if (*res) { 40 int getgrnam_r(const char *name, struct group *gr, char *buf, size_t size, struct group **res) argument 42 return getgr_r(name, 0, gr, buf, size, res); 45 int getgrgid_r(gid_t gid, struct group *gr, char *buf, size_t size, struct group **res) argument 47 return getgr_r(0, gid, gr, buf, size, res);
|
H A D | getpw_r.c | 6 static int getpw_r(const char *name, uid_t uid, struct passwd *pw, char *buf, size_t size, struct passwd **res) argument 15 rv = __getpw_a(name, uid, pw, &line, &len, res); 16 if (*res && size < len) { 17 *res = 0; 20 if (*res) { 33 int getpwnam_r(const char *name, struct passwd *pw, char *buf, size_t size, struct passwd **res) argument 35 return getpw_r(name, 0, pw, buf, size, res); 38 int getpwuid_r(uid_t uid, struct passwd *pw, char *buf, size_t size, struct passwd **res) argument 40 return getpw_r(0, uid, pw, buf, size, res);
|
H A D | pwf.h | 11 int __getpwent_a(FILE *f, struct passwd *pw, char **line, size_t *size, struct passwd **res); 12 int __getpw_a(const char *name, uid_t uid, struct passwd *pw, char **buf, size_t *size, struct passwd **res); 13 int __getgrent_a(FILE *f, struct group *gr, char **line, size_t *size, char ***mem, size_t *nmem, struct group **res); 14 int __getgr_a(const char *name, gid_t gid, struct group *gr, char **buf, size_t *size, char ***mem, size_t *nmem, struct group **res);
|
/seL4-test-master/projects/musllibc/src/thread/ |
H A D | thrd_join.c | 6 int thrd_join(thrd_t t, int *res) argument 10 if (res) *res = (int)(intptr_t)pthread_res;
|
H A D | pthread_join.c | 8 int __pthread_timedjoin_np(pthread_t t, void **res, const struct timespec *at) argument 19 if (res) *res = t->result; 24 int __pthread_join(pthread_t t, void **res) argument 26 return __pthread_timedjoin_np(t, res, 0); 29 int __pthread_tryjoin_np(pthread_t t, void **res) argument 31 return t->tid ? EBUSY : __pthread_join(t, res);
|
/seL4-test-master/projects/musllibc/src/misc/ |
H A D | get_current_dir_name.c | 10 char *res = getenv("PWD"); local 11 if (res && *res && !stat(res, &a) && !stat(".", &b) 13 return strdup(res);
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | boot.h | 18 uint8_t res[3]; /* 0's */ member in struct:acpi_boot
|
H A D | einj.h | 20 uint8_t res[3]; member in struct:acpi_einj
|
/seL4-test-master/projects/musllibc/src/malloc/ |
H A D | posix_memalign.c | 6 int posix_memalign(void **res, size_t align, size_t len) argument 11 *res = mem;
|
/seL4-test-master/projects/musllibc/src/process/ |
H A D | posix_spawnp.c | 11 int posix_spawnp(pid_t *restrict res, const char *restrict file, argument 16 return __posix_spawnx(res, file, __execvpe, fa, attr, argv, envp);
|
/seL4-test-master/projects/musllibc/src/ldso/ |
H A D | dlinfo.c | 10 int dlinfo(void *dso, int req, void *res) argument 17 *(struct link_map **)res = dso;
|
/seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | vka.h | 32 * @param res pointer to a cptr to store the allocated slot 35 typedef int (*vka_cspace_alloc_fn)(void *data, seL4_CPtr *res); 43 * @param res pointer to a cspacepath struct to fill out 45 typedef void (*vka_cspace_make_path_fn)(void *data, seL4_CPtr slot, cspacepath_t *res); 62 * @param res pointer to a location to store the cookie representing this allocation 66 seL4_Word *res); 90 * @param res pointer to a location to store the cookie representing this allocation 94 seL4_Word size_bits, bool can_use_dev, seL4_Word *res); 142 static inline int vka_cspace_alloc(vka_t *vka, seL4_CPtr *res) argument 149 if (!res) { 162 vka_cspace_make_path(vka_t *vka, seL4_CPtr slot, cspacepath_t *res) argument 183 vka_cspace_alloc_path(vka_t *vka, cspacepath_t *res) argument 217 vka_utspace_alloc(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 238 vka_utspace_alloc_maybe_device(vka_t *vka, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument [all...] |
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | atomic.h | 28 typeof(*(ptr)) res = atomic_read(ptr); \ 31 res; }) 32 # define atomic_add(ptr, inc) atomic_binop(ptr, inc, res + (inc)) 33 # define atomic_or(ptr, inc) atomic_binop(ptr, inc, res | (inc)) 37 typeof(*(ptr)) res = *(volatile typeof(*(ptr)) *)(ptr); \ 38 if (res == (cmp)) *(volatile typeof(ptr))(ptr) = (swp); \ 40 res; }) 45 int res = atomic_swap(&lock->lock, -1); local 47 return res;
|
/seL4-test-master/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 26 if (reserve.res == NULL) { 81 reservation_t res = vspace_reserve_range_aligned(to, num_pages * (BIT(size_bits)), size_bits, local 84 if (res.res == NULL) { 89 int error = vspace_share_mem_at_vaddr(from, to, start, num_pages, size_bits, result, res); 96 vspace_free_reservation(to, res); 112 int res = callback(access_addr, to_vaddr, cookie); local 117 return res; 122 reservation_t res; local 124 res [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 36 seL4_CNode cspace, seL4_Word cspace_root_data, sel4utils_thread_t *res) 43 return sel4utils_configure_thread_config(vka, parent, alloc, config, res); 47 sel4utils_thread_config_t config, sel4utils_thread_t *res) 49 memset(res, 0, sizeof(sel4utils_thread_t)); 51 int error = vka_alloc_tcb(vka, &res->tcb); 54 sel4utils_clean_up_thread(vka, alloc, res); 59 res->ipc_buffer_addr = (seL4_Word) vspace_new_ipc_buffer(alloc, &res->ipc_buffer); 61 if (res->ipc_buffer_addr == 0) { 68 if (vka_alloc_reply(vka, &res 35 sel4utils_configure_thread(vka_t *vka, vspace_t *parent, vspace_t *alloc, seL4_CPtr fault_endpoint, seL4_CNode cspace, seL4_Word cspace_root_data, sel4utils_thread_t *res) argument 46 sel4utils_configure_thread_config(vka_t *vka, vspace_t *parent, vspace_t *alloc, sel4utils_thread_config_t config, sel4utils_thread_t *res) argument 304 sel4utils_start_fault_handler(seL4_CPtr fault_endpoint, vka_t *vka, vspace_t *vspace, seL4_CPtr cspace, seL4_Word cap_data, char *name, sel4utils_thread_t *res) argument [all...] |