/seL4-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/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-refos-master/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-refos-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-refos-master/libs/libmuslc/src/ldso/ |
H A D | dlinfo.c | 10 int dlinfo(void *dso, int req, void *res) argument 17 *(struct link_map **)res = dso;
|
/seL4-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/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-refos-master/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-refos-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...] |