Searched refs:usage (Results 1 - 25 of 36) sorted by relevance

12

/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Dsyscall_misc.c85 __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 Dwait3.c6 pid_t wait3(int *status, int options, struct rusage *usage) argument
8 return wait4(-1, status, options, usage);
H A Dwait4.c6 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 Dinstall.sh8 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 Dsporadic.h92 * 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 Drumprun66 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 Dcookfs.in41 usage ()
44 echo "usage: $0 [-s count] outfile directory ..."
77 usage
83 [ $# -ge 2 ] || usage
/seL4-camkes-master/kernel/src/kernel/
H A Dsporadic.c237 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 Dmemusage.py14 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 Dtest_tftp_app_client.c169 void usage(const char *text) function
205 usage("Invalid number or arguments");
220 usage("Invalid mode");
H A Dpicoapp.c171 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 DMakefile23 EXTRA_CFLAGS += -I$(PWD) -I$(PWD)/$(OS_PATH) -fstack-usage
/seL4-camkes-master/tools/rumprun/tests/
H A Druntests.sh137 [ $# -ge 1 ] || die "usage: runtests.sh [-S] kvm|qemu|xen"
/seL4-camkes-master/projects/util_libs/libfdt/
H A Dfdtget.c320 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 Djson_process.c359 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 Dinstall-sh102 usage="\
142 --help) echo "$usage"; exit $?;;
H A Dconfig.guess37 usage="\
69 echo "$usage"; exit ;;
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Dinstall-sh102 usage="\
142 --help) echo "$usage"; exit $?;;
H A Dconfig.guess37 usage="\
69 echo "$usage"; exit ;;
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/
H A Dinstall-sh102 usage="\
142 --help) echo "$usage"; exit $?;;
H A Dconfig.guess37 usage="\
69 echo "$usage"; exit ;;
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_slaacv4.tex39 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 Dgen_invocations.py107 usage=usage_str)
/seL4-camkes-master/projects/musllibc/
H A Dconfigure3 usage () { function
147 --help|-h) usage ;;
/seL4-camkes-master/tools/cogent/cogent/manual/
H A Dcogent-manual.tex715 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

Completed in 209 milliseconds

12