Searched refs:path (Results 26 - 50 of 162) sorted by relevance

1234567

/seL4-refos-master/libs/libmuslc/src/stat/
H A Dlstat.c6 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 Dmknod.c5 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 Dstat.c6 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 Dchown.c5 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 Dlchown.c5 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 Dreadlink.c5 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 Dfdop.h9 char path[]; member in struct:fdop
H A Dposix_spawn_file_actions_addopen.c7 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 Dexecvp.c12 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 Dname_client_helper.c26 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 Dname_client_helper.c26 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 Dftok.c4 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 Dutime.c6 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 Dio_port_ops.c32 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 Dio_port_ops.c32 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 Dnftw.c23 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 Dcspace.h22 int (*alloc)(struct allocman *alloc, void *cookie, cspacepath_t *path);
23 void (*free)(struct allocman *alloc, void *cookie, const cspacepath_t *path);
H A Dvka.h24 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 Dcspace.h22 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 Dsimple.h62 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 Dsimple.h62 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 Dstate.c113 @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 Dstate.c113 @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 Dname_client_helper.h32 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 Dname_client_helper.h32 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...]

Completed in 207 milliseconds

1234567