/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | syscall_misc.c | 85 __getrusage50(int who, struct rusage *usage) argument 89 memset(usage, 0, sizeof(*usage)); 91 usage->ru_utime.tv_sec = 1; 92 usage->ru_utime.tv_usec = 1; 93 usage->ru_stime.tv_sec = 1; 94 usage->ru_stime.tv_usec = 1; 97 usage->ru_maxrss = 1024; 98 usage->ru_ixrss = 1024; 99 usage [all...] |
/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | wait3.c | 6 pid_t wait3(int *status, int options, struct rusage *usage) argument 8 return wait4(-1, status, options, usage);
|
H A D | wait4.c | 6 pid_t wait4(pid_t pid, int *status, int options, struct rusage *usage) argument 8 return syscall(SYS_wait4, pid, status, options, usage);
|
/seL4-camkes-master/projects/musllibc/tools/ |
H A D | install.sh | 8 usage() { function 9 printf "usage: %s [-D] [-l] [-m mode] src dest\n" "$0" 1>&2 22 ?) usage ;; 27 test "$#" -eq 2 || usage
|
/seL4-camkes-master/kernel/include/kernel/ |
H A D | sporadic.h | 92 * has available if usage is charged to it. */ 93 static inline ticks_t refill_capacity(sched_context_t *sc, ticks_t usage) argument 95 if (unlikely(usage > refill_head(sc)->rAmount)) { 99 return refill_head(sc)->rAmount - usage; 104 * to enter and exit the kernel after usage is charged to it. 106 static inline bool_t refill_sufficient(sched_context_t *sc, ticks_t usage) argument 108 return refill_capacity(sc, usage) >= MIN_BUDGET; 135 /* Charge `usage` to the current scheduling context. 139 * @param usage the amount of time to charge.
|
/seL4-camkes-master/tools/rumprun/app-tools/ |
H A D | rumprun | 66 usage () 70 usage: rumprun [script args] PLATFORM [guest args] APP [ -- ] [app args] 152 store_netspec=usage 153 store_blkspec=usage 183 [ "${iftag}" != "${ifbasename}" ] || usage 199 [ "${iftag}" != "${ifbasename}" ] || usage 218 [ "${iftag}" != "${ifbasename}" ] || usage 297 [ $# -lt 2 ] && usage 309 [ -n "${ifaddr}" ] || usage 310 [ -n "${ifmask}" ] || usage [all...] |
H A D | cookfs.in | 41 usage () 44 echo "usage: $0 [-s count] outfile directory ..." 77 usage 83 [ $# -ge 2 ] || usage
|
/seL4-camkes-master/kernel/src/kernel/ |
H A D | sporadic.c | 237 void refill_budget_check(ticks_t usage) argument 241 ticks_t capacity = refill_capacity(NODE_STATE(ksCurSC), usage); 247 while (refill_head(sc)->rAmount <= usage) { 249 usage -= refill_head(sc)->rAmount; 261 if (usage > 0) { 264 refill_head(sc)->rTime += usage; 277 capacity = refill_capacity(sc, usage); 279 refill_split_check(usage); 287 void refill_split_check(ticks_t usage) argument 294 assert(usage > [all...] |
/seL4-camkes-master/tools/cogent/regression/ |
H A D | memusage.py | 14 Monitors the peak memory usage of a process and its children. Usage is similar 35 '''Retrieve the memory usage of a particular psutil process without its 37 to give us a more accurate total usage.''' 50 '''Retrieve the memory usage of a process by PID including its children. We 55 # Fetch parent's usage. 66 # Fetch usage of children. 93 # memory usage. 101 usage = get_total_usage(self.pid) 102 if usage > self.high: 103 self.high = usage [all...] |
/seL4-camkes-master/projects/picotcp/test/ |
H A D | test_tftp_app_client.c | 169 void usage(const char *text) function 205 usage("Invalid number or arguments"); 220 usage("Invalid mode");
|
H A D | picoapp.c | 171 static void usage(char *arg0) function 238 usage(argv[0]); 596 usage(argv[0]); 738 usage(argv[0]); 746 usage(argv[0]);
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | Makefile | 23 EXTRA_CFLAGS += -I$(PWD) -I$(PWD)/$(OS_PATH) -fstack-usage
|
/seL4-camkes-master/tools/rumprun/tests/ |
H A D | runtests.sh | 137 [ $# -ge 1 ] || die "usage: runtests.sh [-S] kvm|qemu|xen"
|
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdtget.c | 320 static void usage(const char *msg) function 347 usage(NULL); 352 usage("Invalid type string");*/ 374 usage("Missing filename"); 385 usage("Must have an even number of arguments");
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/bin/ |
H A D | json_process.c | 359 goto usage; 376 goto usage; 381 usage: 383 fprintf(stderr, "usage: %s [--strip] [--env] test_dir\n", argv[0]);
|
/seL4-camkes-master/tools/riscv-pk/scripts/ |
H A D | install-sh | 102 usage="\ 142 --help) echo "$usage"; exit $?;;
|
H A D | config.guess | 37 usage="\ 69 echo "$usage"; exit ;;
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
H A D | install-sh | 102 usage="\ 142 --help) echo "$usage"; exit $?;;
|
H A D | config.guess | 37 usage="\ 69 echo "$usage"; exit ;;
|
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/ |
H A D | install-sh | 102 usage="\ 142 --help) echo "$usage"; exit $?;;
|
H A D | config.guess | 37 usage="\ 69 echo "$usage"; exit ;;
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_slaacv4.tex | 39 This function allows to unregister the local link ip in usage. The function will remove from the route table
|
/seL4-camkes-master/kernel/manual/tools/ |
H A D | gen_invocations.py | 107 usage=usage_str)
|
/seL4-camkes-master/projects/musllibc/ |
H A D | configure | 3 usage () { function 147 --help|-h) usage ;;
|
/seL4-camkes-master/tools/cogent/cogent/manual/ |
H A D | cogent-manual.tex | 715 be used \textit{exactly once} in the program. What this means is explained in Section~\ref{expr-usage}. Here it is 863 the meaning of this is explained in Section~\ref{expr-usage}. 925 may not ``escape'' from certain context. Again, the meaning of this is explained in Section~\ref{expr-usage}. 1935 An example usage whould be an externally defined function of type \code{String -> ()} which is 2040 \label{expr-usage} 2042 \cogent's linear type system implies additional restrictions on expression usage over the usual restriction that 2134 What happens to a value after it has been used? ``Using'' here only means a \textit{syntactical} usage, it does not mean 2135 that the value is dismissed afterwards. Depending on the context of usage there are three possibilities: the value may immediately 2161 Taking it all together, the usage rules imply that a linear value in a pure \cogent program is always either bound to exactly one variable
|