| /seL4-refos-master/libs/libmuslc/src/misc/ |
| H A D | getrlimit.c | 1 #include <sys/resource.h>
8 int getrlimit(int resource, struct rlimit *rlim) argument
11 int ret = syscall(SYS_prlimit64, 0, resource, 0, rlim);
18 if (syscall(SYS_getrlimit, resource, k_rlim) < 0)
|
| H A D | getrusage.c | 1 #include <sys/resource.h>
|
| H A D | setpriority.c | 1 #include <sys/resource.h>
|
| H A D | getpriority.c | 1 #include <sys/resource.h>
|
| H A D | setrlimit.c | 1 #include <sys/resource.h>
9 int __setrlimit(int resource, const struct rlimit *rlim) argument
19 int ret = __syscall(SYS_prlimit64, 0, resource, rlim, 0);
23 return __syscall(SYS_setrlimit, resource, k_rlim);
39 int setrlimit(int resource, const struct rlimit *rlim) argument
41 struct ctx c = { .res = resource, .rlim = rlim, .err = -1 };
|
| /seL4-refos-master/libs/libmuslc/src/linux/ |
| H A D | prlimit.c | 2 #include <sys/resource.h>
8 int prlimit(pid_t pid, int resource, const struct rlimit *new_limit, struct rlimit *old_limit) argument
18 r = syscall(SYS_prlimit64, pid, resource, new_limit, old_limit);
|
| H A D | wait3.c | 3 #include <sys/resource.h>
|
| H A D | wait4.c | 3 #include <sys/resource.h>
|
| /seL4-refos-master/libs/libmuslc/src/legacy/ |
| H A D | getdtablesize.c | 4 #include <sys/resource.h>
|
| H A D | ulimit.c | 1 #include <sys/resource.h>
|
| /seL4-refos-master/libs/libmuslc/src/unistd/ |
| H A D | nice.c | 2 #include <sys/resource.h>
|
| /seL4-refos-master/libs/libmuslc/include/sys/ |
| H A D | param.h | 31 #include <sys/resource.h>
|
| H A D | resource.h | 18 #include <bits/resource.h>
|
| H A D | wait.h | 30 #include <sys/resource.h>
|
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 27 #include <sys/resource.h>
403 int resource = va_arg(ap, int); local
411 if (resource == RLIMIT_NOFILE) {
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 27 #include <sys/resource.h>
403 int resource = va_arg(ap, int); local
411 if (resource == RLIMIT_NOFILE) {
|
| /seL4-refos-master/libs/libmuslc/src/conf/ |
| H A D | sysconf.c | 4 #include <sys/resource.h>
|
| /seL4-refos-master/projects/refos/design/ |
| H A D | paper.tex | 133 This document outlines a basic reference design for system components and interfaces for an operating system. The protocols have been designed with an \Lf like microkernel in mind and assume functionality such as interprocess communcation, capability-based access models and virtual memory support. This reference design aims to standardise the protocols for tasks often required to build a system such as resource sharing, virtual memory management and naming. Operating systems may implement these protocols and extend them to incorporate more features.
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | objects.tex | 139 special resource instead of using the standard IPC mechanism; see
353 between applications or a device. There are no arbitrary resource
357 versions of seL4.}, and so many denial-of-service attacks via resource
|
| H A D | vspace.tex | 249 this limited resource, the microkernel provides an \obj{ASID Control}
|
| H A D | io.tex | 226 context banks with two static CNodes, one for each resource type. These CNodes
|