/seL4-refos-master/libs/libmuslc/src/stat/ |
H A D | lstat.c | 6 int lstat(const char *restrict path, struct stat *restrict buf) argument 9 return syscall(SYS_lstat, path, buf); 11 return syscall(SYS_fstatat, AT_FDCWD, path, buf, AT_SYMLINK_NOFOLLOW);
|
H A D | mknod.c | 5 int mknod(const char *path, mode_t mode, dev_t dev) argument 8 return syscall(SYS_mknod, path, mode, dev); 10 return syscall(SYS_mknodat, AT_FDCWD, path, mode, dev);
|
H A D | stat.c | 6 int stat(const char *restrict path, struct stat *restrict buf) argument 9 return syscall(SYS_stat, path, buf); 11 return syscall(SYS_fstatat, AT_FDCWD, path, buf, 0);
|
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | chown.c | 5 int chown(const char *path, uid_t uid, gid_t gid) argument 8 return syscall(SYS_chown, path, uid, gid); 10 return syscall(SYS_fchownat, AT_FDCWD, path, uid, gid, 0);
|
H A D | lchown.c | 5 int lchown(const char *path, uid_t uid, gid_t gid) argument 8 return syscall(SYS_lchown, path, uid, gid); 10 return syscall(SYS_fchownat, AT_FDCWD, path, uid, gid, AT_SYMLINK_NOFOLLOW);
|
H A D | readlink.c | 5 ssize_t readlink(const char *restrict path, char *restrict buf, size_t bufsize) argument 8 return syscall(SYS_readlink, path, buf, bufsize); 10 return syscall(SYS_readlinkat, AT_FDCWD, path, buf, bufsize);
|
/seL4-refos-master/libs/libmuslc/src/process/ |
H A D | fdop.h | 9 char path[]; member in struct:fdop
|
H A D | posix_spawn_file_actions_addopen.c | 7 int posix_spawn_file_actions_addopen(posix_spawn_file_actions_t *restrict fa, int fd, const char *restrict path, int flags, mode_t mode) argument 9 struct fdop *op = malloc(sizeof *op + strlen(path) + 1); 15 strcpy(op->path, path);
|
H A D | execvp.c | 12 const char *p, *z, *path = getenv("PATH"); local 22 if (!path) path = "/usr/local/bin:/bin:/usr/bin"; 28 l = strnlen(path, PATH_MAX-1)+1; 30 for(p=path; ; p=z) {
|
/seL4-refos-master/libs/librefos/src/refos-rpc/ |
H A D | name_client_helper.c | 26 nsv_check_path_resolved(char* path) argument 28 if (!path) { 31 if (path[0] == '/') { 32 path++; 35 int len = strlen(path); 37 if (path[i] == '/') { 60 nsv_resolve(char* path) argument 65 if (!path) { 70 char *cpath = path; 77 /* Check if path ha [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/ |
H A D | name_client_helper.c | 26 nsv_check_path_resolved(char* path) argument 28 if (!path) { 31 if (path[0] == '/') { 32 path++; 35 int len = strlen(path); 37 if (path[i] == '/') { 60 nsv_resolve(char* path) argument 65 if (!path) { 70 char *cpath = path; 77 /* Check if path ha [all...] |
/seL4-refos-master/libs/libmuslc/src/ipc/ |
H A D | ftok.c | 4 key_t ftok(const char *path, int id) argument 7 if (stat(path, &st) < 0) return -1;
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | utime.c | 6 int utime(const char *path, const struct utimbuf *times) argument 8 return utimensat(AT_FDCWD, path, times ? ((struct timespec [2]){
|
/seL4-refos-master/libs/libsel4platsupport/src/arch/x86/ |
H A D | io_port_ops.c | 32 cspacepath_t path; local 34 error = vka_cspace_alloc_path(io_cookie->vka, &path); 39 error = simple_get_IOPort_cap(io_cookie->simple, port, last_port, path.root, path.capPtr, path.capDepth); 47 seL4_X86_IOPort_In8_t x = seL4_X86_IOPort_In8(path.capPtr, port); 53 seL4_X86_IOPort_In16_t x = seL4_X86_IOPort_In16(path.capPtr, port); 59 seL4_X86_IOPort_In32_t x = seL4_X86_IOPort_In32(path.capPtr, port); 70 vka_cnode_delete(&path); 71 vka_cspace_free_path(io_cookie->vka, path); 80 cspacepath_t path; local [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | io_port_ops.c | 32 cspacepath_t path; local 34 error = vka_cspace_alloc_path(io_cookie->vka, &path); 39 error = simple_get_IOPort_cap(io_cookie->simple, port, last_port, path.root, path.capPtr, path.capDepth); 47 seL4_X86_IOPort_In8_t x = seL4_X86_IOPort_In8(path.capPtr, port); 53 seL4_X86_IOPort_In16_t x = seL4_X86_IOPort_In16(path.capPtr, port); 59 seL4_X86_IOPort_In32_t x = seL4_X86_IOPort_In32(path.capPtr, port); 70 vka_cnode_delete(&path); 71 vka_cspace_free_path(io_cookie->vka, path); 80 cspacepath_t path; local [all...] |
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | nftw.c | 23 static int do_nftw(char *path, int (*fn)(const char *, const struct stat *, int, struct FTW *), int fd_limit, int flags, struct history *h) argument 25 size_t l = strlen(path), j = l && path[l-1]=='/' ? l-1 : l; 33 if ((flags & FTW_PHYS) ? lstat(path, &st) : stat(path, &st) < 0) { 34 if (!(flags & FTW_PHYS) && errno==ENOENT && !lstat(path, &st)) 39 if (access(path, R_OK) < 0) type = FTW_DNR; 59 lev.base = h ? h->base : (name=strrchr(path, '/')) ? name-path : 0; 61 if (!(flags & FTW_DEPTH) && (r=fn(path, 102 nftw(const char *path, int (*fn)(const char *, const struct stat *, int, struct FTW *), int fd_limit, int flags) argument [all...] |
/seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ |
H A D | cspace.h | 22 int (*alloc)(struct allocman *alloc, void *cookie, cspacepath_t *path); 23 void (*free)(struct allocman *alloc, void *cookie, const cspacepath_t *path);
|
H A D | vka.h | 24 cspacepath_t path; local 25 vka_cspace_make_path(vka, slot, &path); 26 return path;
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
H A D | cspace.h | 22 int (*alloc)(struct allocman *alloc, void *cookie, cspacepath_t *path); 23 void (*free)(struct allocman *alloc, void *cookie, const cspacepath_t *path);
|
/seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ |
H A D | simple.h | 62 cspacepath_t path) 73 return simple->irq_trigger(simple->data, irq, trigger, 0, path.root, path.capPtr, path.capDepth); 77 cspacepath_t path) 88 return simple->irq_trigger(simple->data, irq, trigger, core, path.root, path.capPtr, path.capDepth); 61 arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger, cspacepath_t path) argument 76 arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, cspacepath_t path) argument
|
/seL4-refos-master/libs/libsel4simple/arch_include/arm/simple/arch/ |
H A D | simple.h | 62 cspacepath_t path) 73 return simple->irq_trigger(simple->data, irq, trigger, 0, path.root, path.capPtr, path.capDepth); 77 cspacepath_t path) 88 return simple->irq_trigger(simple->data, irq, trigger, core, path.root, path.capPtr, path.capDepth); 61 arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger, cspacepath_t path) argument 76 arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, cspacepath_t path) argument
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | state.c | 113 @param dest path to an empty cslot to place the cap to the allocated object. 139 @param path The path to where to put this cap. 142 serial_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument 147 return vka_cnode_copy(path, &procServ.serial_frame_cap_path, seL4_AllRights); 150 return procServ.original_simple_get_frame_cap(data, paddr, size_bits, path); 211 cspacepath_t path, pathSrc; local 212 memset(&path, 0, sizeof(cspacepath_t)); 213 int error = vka_cspace_alloc_path(&procServ.vka, &path); 216 return path; 281 cspacepath_t path; local 292 cspacepath_t path; local [all...] |
/seL4-refos-master/apps/process_server/src/ |
H A D | state.c | 113 @param dest path to an empty cslot to place the cap to the allocated object. 139 @param path The path to where to put this cap. 142 serial_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument 147 return vka_cnode_copy(path, &procServ.serial_frame_cap_path, seL4_AllRights); 150 return procServ.original_simple_get_frame_cap(data, paddr, size_bits, path); 211 cspacepath_t path, pathSrc; local 212 memset(&path, 0, sizeof(cspacepath_t)); 213 int error = vka_cspace_alloc_path(&procServ.vka, &path); 216 return path; 281 cspacepath_t path; local 292 cspacepath_t path; local [all...] |
/seL4-refos-master/libs/librefos/include/refos-rpc/ |
H A D | name_client_helper.h | 32 prefix of a path. 38 /*! @brief Struct containing a mountpoint, which is a completely resolved namespace path. */ 51 @param path The path to resolve. 56 nsv_resolve_segment(seL4_CPtr nameserv, char* path, int* resolvedBytes) argument 61 seL4_CPtr tcap = nsv_resolve_segment_internal(nameserv, path, &tempResolvedBytes, &errnoRetVal); 74 /*! @brief Resolve a path completely. 76 This function will completely resolve the given path down to the server that actually 79 @param path String containing the path t [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
H A D | name_client_helper.h | 32 prefix of a path. 38 /*! @brief Struct containing a mountpoint, which is a completely resolved namespace path. */ 51 @param path The path to resolve. 56 nsv_resolve_segment(seL4_CPtr nameserv, char* path, int* resolvedBytes) argument 61 seL4_CPtr tcap = nsv_resolve_segment_internal(nameserv, path, &tempResolvedBytes, &errnoRetVal); 74 /*! @brief Resolve a path completely. 76 This function will completely resolve the given path down to the server that actually 79 @param path String containing the path t [all...] |