/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
H A D | vka.h | 24 cspacepath_t path; local 25 vka_cspace_make_path(vka, slot, &path); 26 return path;
|
/seL4-refos-master/libs/libsel4simple/src/ |
H A D | simple.c | 58 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 D | simple.c | 58 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 D | locale_map.c | 33 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 D | execl.c | 4 int execl(const char *path, const char *argv0, ...) argument 20 return execv(path, argv);
|
H A D | execle.c | 4 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 D | simple.h | 81 * @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 D | simple.h | 81 * @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 D | fchmodat.c | 8 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 D | utimensat.c | 7 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 D | statvfs.c | 6 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 D | fdt.py | 57 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 D | gen_invocations.py | 73 # 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 D | benchmark_track.h | 36 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 D | benchmark_track.h | 36 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 D | fdt_overlay.c | 66 * 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 D | style.py | 21 # 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 D | thread.c | 86 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 D | thread.c | 86 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 D | getspnam_r.c | 63 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 D | virtual_pool.c | 44 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 D | vka.c | 35 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 D | virtual_pool.c | 44 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 D | vka.c | 35 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 D | benchmark_track_types.h | 41 seL4_Word path: 3; member in struct:kernel_entry
|