Searched refs:path (Results 51 - 75 of 162) sorted by relevance

1234567

/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/
H A Dvka.h24 cspacepath_t path; local
25 vka_cspace_make_path(vka, slot, &path);
26 return path;
/seL4-refos-master/libs/libsel4simple/src/
H A Dsimple.c58 void simple_vka_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *path) argument
60 assert(data && path);
64 path->capPtr = slot;
65 path->capDepth = seL4_WordBits;
66 path->root = simple_get_cnode(simple);
67 path->dest = simple_get_cnode(simple);
68 path->offset = slot;
69 path->destDepth = seL4_WordBits;
/seL4-refos-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c58 void simple_vka_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *path) argument
60 assert(data && path);
64 path->capPtr = slot;
65 path->capDepth = seL4_WordBits;
66 path->root = simple_get_cnode(simple);
67 path->dest = simple_get_cnode(simple);
68 path->offset = slot;
69 path->destDepth = seL4_WordBits;
/seL4-refos-master/libs/libmuslc/src/locale/
H A Dlocale_map.c33 const char *path = 0, *z; local
68 if (!libc.secure) path = getenv("MUSL_LOCPATH");
69 /* FIXME: add a default path? */
71 if (path) for (; *path; path=z+!!*z) {
72 z = __strchrnul(path, ':');
73 l = z - path - !!*z;
75 memcpy(buf, path, l);
/seL4-refos-master/libs/libmuslc/src/process/
H A Dexecl.c4 int execl(const char *path, const char *argv0, ...) argument
20 return execv(path, argv);
H A Dexecle.c4 int execle(const char *path, const char *argv0, ...) argument
21 return execve(path, argv, envp);
/seL4-refos-master/libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h81 * @param path Path to where to put this cap
85 cspacepath_t *path);
117 arch_simple_get_msi(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word pci_bus, argument
130 return arch_simple->msi(arch_simple->data, path.root, path.capPtr, path.capDepth, pci_bus,
135 arch_simple_get_ioapic(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word ioapic, argument
148 return arch_simple->ioapic(arch_simple->data, path.root, path.capPtr, path
154 arch_simple_get_iospace(arch_simple_t *arch_simple, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h81 * @param path Path to where to put this cap
85 cspacepath_t *path);
117 arch_simple_get_msi(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word pci_bus, argument
130 return arch_simple->msi(arch_simple->data, path.root, path.capPtr, path.capDepth, pci_bus,
135 arch_simple_get_ioapic(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word ioapic, argument
148 return arch_simple->ioapic(arch_simple->data, path.root, path.capPtr, path
154 arch_simple_get_iospace(arch_simple_t *arch_simple, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) argument
[all...]
/seL4-refos-master/libs/libmuslc/src/stat/
H A Dfchmodat.c8 int fchmodat(int fd, const char *path, mode_t mode, int flag) argument
10 if (!flag) return syscall(SYS_fchmodat, fd, path, mode, flag);
19 if ((ret = __syscall(SYS_fstatat, fd, path, &st, flag)))
24 if ((fd2 = __syscall(SYS_openat, fd, path, O_RDONLY|O_PATH|O_NOFOLLOW|O_NOCTTY|O_CLOEXEC)) < 0) {
H A Dutimensat.c7 int utimensat(int fd, const char *path, const struct timespec times[2], int flags) argument
9 int r = __syscall(SYS_utimensat, fd, path, times, flags);
32 r = __syscall(SYS_futimesat, fd, path, tv);
34 r = __syscall(SYS_utimes, path, tv);
H A Dstatvfs.c6 int __statfs(const char *path, struct statfs *buf) argument
10 return syscall(SYS_statfs64, path, sizeof *buf, buf);
12 return syscall(SYS_statfs, path, buf);
45 int statvfs(const char *restrict path, struct statvfs *restrict buf) argument
48 if (__statfs(path, &kbuf)<0) return -1;
/seL4-refos-master/kernel/tools/hardware/
H A Dfdt.py57 def get_path(self, path: str) -> WrappedNode:
58 ''' Look up a node by path '''
59 return self.by_path.get(path, None)
91 for path in paths:
92 if path[0] != '/':
93 path = self.lookup_alias(path)
94 ret.append(self.get_path(path))
/seL4-refos-master/kernel/manual/tools/
H A Dgen_invocations.py73 # extract the 2nd last path member
74 (path, tail) = os.path.split(os.path.dirname(input_file))
76 (path, prefix) = os.path.split(path)
134 if not os.path.exists(os.path.dirname(args.output)):
135 os.makedirs(os.path
[all...]
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dbenchmark_track.h36 if (logBuffer[index].entry.path == Entry_Syscall) {
38 } else if (logBuffer[index].entry.path == Entry_Interrupt) {
40 } else if (logBuffer[index].entry.path == Entry_UserLevelFault) {
42 } else if (logBuffer[index].entry.path == Entry_VMFault) {
70 if (logBuffer[index].entry.path == Entry_Syscall) {
99 if (logBuffer[index].entry.path == Entry_Interrupt) {
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dbenchmark_track.h36 if (logBuffer[index].entry.path == Entry_Syscall) {
38 } else if (logBuffer[index].entry.path == Entry_Interrupt) {
40 } else if (logBuffer[index].entry.path == Entry_UserLevelFault) {
42 } else if (logBuffer[index].entry.path == Entry_VMFault) {
70 if (logBuffer[index].entry.path == Entry_Syscall) {
99 if (logBuffer[index].entry.path == Entry_Interrupt) {
/seL4-refos-master/projects/util_libs/libfdt/
H A Dfdt_overlay.c66 * property) instead of a path (target-path property).
93 * @pathp: pointer which receives the path of the target (or NULL)
97 * done (through a phandle or a path)
107 const char *path = NULL; local
115 /* no phandle, try path */
117 /* And then a path based lookup */
118 path = fdt_getprop(fdto, fragment, "target-path", &path_len);
119 if (path)
412 overlay_fixup_one_phandle(void *fdt, void *fdto, int symbols_off, const char *path, uint32_t path_len, const char *name, uint32_t name_len, int poffset, const char *label) argument
489 const char *path, *name, *fixup_end; local
744 const char *path; local
[all...]
/seL4-refos-master/seL4_tools/misc/
H A Dstyle.py21 # dict of style-tools to regex. The regex should match any full file path.
43 args.files = filter(os.path.isfile, args.files)
60 script = os.path.join(os.path.dirname(os.path.realpath(sys.argv[0])), k)
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dthread.c86 cspacepath_t path; local
87 vka_cspace_make_path(&procServ.vka, thread_tcb_obj(thread), &path);
88 vka_cnode_revoke(&path);
/seL4-refos-master/apps/process_server/src/system/process/
H A Dthread.c86 cspacepath_t path; local
87 vka_cspace_make_path(&procServ.vka, thread_tcb_obj(thread), &path);
88 vka_cnode_revoke(&path);
/seL4-refos-master/libs/libmuslc/src/passwd/
H A Dgetspnam_r.c63 char path[20+NAME_MAX]; local
81 if (snprintf(path, sizeof path, "/etc/tcb/%s/shadow", name) >= sizeof path)
84 fd = open(path, O_RDONLY|O_NOFOLLOW|O_NONBLOCK|O_CLOEXEC);
/seL4-refos-master/libs/libsel4allocman/src/mspace/
H A Dvirtual_pool.c44 cspacepath_t path; local
45 error = allocman_cspace_alloc(alloc, &path);
55 seL4_Word cookie = allocman_utspace_alloc(alloc, obj.size_bits, obj.type, &path, false, &error);
57 allocman_cspace_free(alloc, &path);
61 error = vspace_map_obj(&obj, path.capPtr, pd, (seL4_Word) vaddr, seL4_ARCH_Default_VMAttributes);
64 allocman_cspace_free(alloc, &path);
/seL4-refos-master/libs/libsel4allocman/src/
H A Dvka.c35 cspacepath_t path; local
40 error = allocman_cspace_alloc((allocman_t *) data, &path);
42 *res = path.capPtr;
72 cspacepath_t path; local
74 path = allocman_cspace_make_path((allocman_t*)data, slot);
76 allocman_cspace_free((allocman_t *) data, &path);
83 * @param dest path to an empty cslot to place the cap to the allocated object
112 * @param dest path to an empty cslot to place the cap to the allocated object
127 * @param dest path to an empty cslot to place the cap to the allocated object
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Dvirtual_pool.c44 cspacepath_t path; local
45 error = allocman_cspace_alloc(alloc, &path);
55 seL4_Word cookie = allocman_utspace_alloc(alloc, obj.size_bits, obj.type, &path, false, &error);
57 allocman_cspace_free(alloc, &path);
61 error = vspace_map_obj(&obj, path.capPtr, pd, (seL4_Word) vaddr, seL4_ARCH_Default_VMAttributes);
64 allocman_cspace_free(alloc, &path);
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dvka.c35 cspacepath_t path; local
40 error = allocman_cspace_alloc((allocman_t *) data, &path);
42 *res = path.capPtr;
72 cspacepath_t path; local
74 path = allocman_cspace_make_path((allocman_t*)data, slot);
76 allocman_cspace_free((allocman_t *) data, &path);
83 * @param dest path to an empty cslot to place the cap to the allocated object
112 * @param dest path to an empty cslot to place the cap to the allocated object
127 * @param dest path to an empty cslot to place the cap to the allocated object
/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dbenchmark_track_types.h41 seL4_Word path: 3; member in struct:kernel_entry

Completed in 246 milliseconds

1234567