/seL4-test-master/projects/musllibc/src/conf/ |
H A D | pathconf.c | 3 long pathconf(const char *path, int name) argument 5 return fpathconf(-1, name);
|
H A D | confstr.c | 5 size_t confstr(int name, char *buf, size_t len) argument 8 if (!name) { 10 } else if ((name&~4U)!=1 && name-_CS_POSIX_V6_ILP32_OFF32_CFLAGS>33U) {
|
/seL4-test-master/projects/musllibc/src/thread/ |
H A D | sem_unlink.c | 4 int sem_unlink(const char *name) argument 6 return shm_unlink(name);
|
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | compile_time.h | 17 #define compile_time_assert(name, expr) static_assert((expr), #name)
|
H A D | linear_algebra.h | 15 * This file provides the macro VECTOR_2D_DEFINITION(name, T) 18 * names) prefixed with "name". 44 #define VECTOR_2D_DEFINITION(name, T) \ 48 } name##_t; \ 49 static inline void name##_add(name##_t *a, name##_t *b, name##_t *result) {\ 53 static inline void name##_subtract(name##_ [all...] |
/seL4-test-master/projects/musllibc/src/misc/ |
H A D | setdomainname.c | 5 int setdomainname(const char *name, size_t len) argument 7 return syscall(SYS_setdomainname, name, len);
|
/seL4-test-master/projects/musllibc/src/mman/ |
H A D | shm_open.c | 11 char *__shm_mapname(const char *name, char *buf) argument 14 while (*name == '/') name++; 15 if (*(p = __strchrnul(name, '/')) || p==name || 16 (p-name <= 2 && name[0]=='.' && p[-1]=='.')) { 20 if (p-name > NAME_MAX) { 25 memcpy(buf+9, name, p-name 29 shm_open(const char *name, int flag, mode_t mode) argument 40 shm_unlink(const char *name) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/ |
H A D | event_counters.h | 17 #define EVENT_COUNTER_FORMAT(id, name) [id] = name
|
/seL4-test-master/projects/seL4_libs/libsel4bench/src/ |
H A D | event_counters.h | 16 #define NAME_EVENT(id, name) EVENT_COUNTER_FORMAT(SEL4BENCH_EVENT_##id, name)
|
/seL4-test-master/projects/musllibc/src/linux/ |
H A D | sethostname.c | 5 int sethostname(const char *name, size_t len) argument 7 return syscall(SYS_sethostname, name, len);
|
H A D | xattr.c | 4 ssize_t getxattr(const char *path, const char *name, void *value, size_t size) argument 6 return syscall(SYS_getxattr, path, name, value, size); 9 ssize_t lgetxattr(const char *path, const char *name, void *value, size_t size) argument 11 return syscall(SYS_lgetxattr, path, name, value, size); 14 ssize_t fgetxattr(int filedes, const char *name, void *value, size_t size) argument 16 return syscall(SYS_fgetxattr, filedes, name, value, size); 34 int setxattr(const char *path, const char *name, const void *value, size_t size, int flags) argument 36 return syscall(SYS_setxattr, path, name, value, size, flags); 39 int lsetxattr(const char *path, const char *name, const void *value, size_t size, int flags) argument 41 return syscall(SYS_lsetxattr, path, name, valu 44 fsetxattr(int filedes, const char *name, const void *value, size_t size, int flags) argument 49 removexattr(const char *path, const char *name) argument 54 lremovexattr(const char *path, const char *name) argument 59 fremovexattr(int fd, const char *name) argument [all...] |
/seL4-test-master/projects/musllibc/src/mq/ |
H A D | mq_unlink.c | 5 int mq_unlink(const char *name) argument 8 if (*name == '/') name++; 9 ret = __syscall(SYS_mq_unlink, name);
|
H A D | mq_open.c | 6 mqd_t mq_open(const char *name, int flags, ...) argument 10 if (*name == '/') name++; 18 return syscall(SYS_mq_open, name, flags, mode, attr);
|
/seL4-test-master/projects/musllibc/src/locale/ |
H A D | catopen.c | 3 nl_catd catopen (const char *name, int oflag) argument
|
/seL4-test-master/projects/musllibc/src/env/ |
H A D | getenv.c | 5 char *getenv(const char *name) argument 8 size_t l = strlen(name); 9 if (!__environ || !*name || strchr(name, '=')) return NULL; 10 for (i=0; __environ[i] && (strncmp(name, __environ[i], l)
|
/seL4-test-master/projects/musllibc/src/network/ |
H A D | gethostbyname.c | 8 struct hostent *gethostbyname(const char *name) argument 10 return gethostbyname2(name, AF_INET);
|
H A D | getservbyname.c | 4 struct servent *getservbyname(const char *name, const char *prots) argument 9 if (getservbyname_r(name, prots, &se, (void *)buf, sizeof buf, &res))
|
H A D | netname.c | 8 struct netent *getnetbyname(const char *name) argument
|
H A D | res_querydomain.c | 4 int res_querydomain(const char *name, const char *domain, int class, int type, unsigned char *dest, int len) argument 7 size_t nl = strnlen(name, 255); 10 memcpy(tmp, name, nl);
|
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | driver_module.h | 31 #define PS_DRIVER_MODULE_DEFINE(name, compat_list, init_func) \ 33 name, compat_list, init_func) 34 #define __PS_DRIVER_MODULE_DEFINE(null, name, compat_list, init_func) \ 35 ____PS_DRIVER_MODULE_DEFINE(null, name, compat_list, init_func) 36 #define ____PS_DRIVER_MODULE_DEFINE(null, name, compat_list, init_func) \ 37 PS_DRIVER_MODULE_DEFINE_##null(name, compat_list, init_func) 38 #define PS_DRIVER_MODULE_DEFINE_INVALID(name, compat_list, init_func) \ 40 #define PS_DRIVER_MODULE_DEFINE_VALID(name, compat_list, init_func) \ 41 static ps_driver_module_t name = { \ 45 USED SECTION("_driver_modules") ps_driver_module_t *name##_pt [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/tk1/devices/ |
H A D | misc_devices.c | 11 .name = "usb3", 20 .name = "usb3", 28 .name = "usb3", 36 .name = "rtc_kbc_pmc", 44 .name = "data_memory", 52 .name = "exception_vectors", 60 .name = "system_registers", 68 .name = "ictlr", 76 .name = "apb_misc", 84 .name [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | profile.h | 64 #define PINC(name) PADD(name, 1) 65 #define PADDTIMEDIFF(name) PADD(name, PTIMEDIFF(name)) 66 #define PADDTIME(name) PEND_TIME(name); PADDTIMEDIFF(name) 70 #define PVARUINT32(name, desc) static uint32_t name [all...] |
/seL4-test-master/projects/musllibc/src/unistd/ |
H A D | gethostname.c | 4 int gethostname(char *name, size_t len) argument 10 for (i=0; i<len && (name[i] = uts.nodename[i]); i++); 11 if (i==len) name[i-1] = 0;
|
H A D | ttyname_r.c | 7 int ttyname_r(int fd, char *name, size_t size) argument 16 l = readlink(procname, name, size); 21 name[l] = 0; 23 if (stat(name, &st1) || fstat(fd, &st2))
|
/seL4-test-master/kernel/tools/python-deps/ |
H A D | setup.py | 43 name='sel4-deps', variable
|