Searched refs:which (Results 1 - 25 of 61) sorted by relevance

123

/seL4-camkes-master/projects/musllibc/src/misc/
H A Dsetpriority.c4 int setpriority(int which, id_t who, int prio) argument
6 return syscall(SYS_setpriority, which, who, prio);
H A Dgetpriority.c4 int getpriority(int which, id_t who) argument
6 int ret = syscall(SYS_getpriority, which, who);
/seL4-camkes-master/projects/musllibc/src/signal/
H A Dgetitimer.c4 int getitimer(int which, struct itimerval *old) argument
6 return syscall(SYS_getitimer, which, old);
H A Dsetitimer.c4 int setitimer(int which, const struct itimerval *restrict new, struct itimerval *restrict old) argument
6 return syscall(SYS_setitimer, which, new, old);
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dbits.h16 #define EXTRACT_FIELD(val, which) (((val) & (which)) / ((which) & ~((which)-1)))
17 #define INSERT_FIELD(val, which, fieldval) (((val) & ~(which)) | ((fieldval) * ((which) & ~((which)-1))))
H A Dfp_asm.S9 #define get_f32(which) fmv.x.s a0, which; jr t0
10 #define put_f32(which) fmv.s.x which, a0; jr t0
12 # define get_f64(which) fmv.x.d a0, which; jr t0
13 # define put_f64(which) fmv.d.x which, a0; jr t0
15 # define get_f64(which) fsd which,
[all...]
H A Dfp_emulation.h49 # define softfloat_raiseFlags(which) set_csr(fflags, which)
70 # define softfloat_raiseFlags(which) ({ asm volatile ("or tp, tp, %0" :: "rI"(which)); })
/seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-riscv/
H A Dsbi.h22 #define SBI_CALL(which, arg0, arg1, arg2) ({ \
26 register uintptr_t a7 asm ("a7") = (uintptr_t)(which); \
35 #define SBI_CALL_0(which) SBI_CALL(which, 0, 0, 0)
36 #define SBI_CALL_1(which, arg0) SBI_CALL(which, arg0, 0, 0)
37 #define SBI_CALL_2(which, arg0, arg1) SBI_CALL(which, arg0, arg1, 0)
/seL4-camkes-master/tools/seL4/misc/
H A Dis-valid-shell-script58 # (2017). So instead use "which" (a Debianism, but widely available)
62 if ! which checkbashisms > /dev/null
68 if ! which file > /dev/null
73 if ! which python3 > /dev/null
H A Dcobbler26 SYSLINUX=`which syslinux`
103 which mpartition >/dev/null 2>&1
/seL4-camkes-master/kernel/include/arch/riscv/arch/
H A Dsbi.h66 #define SBI_CALL_0(which) sbi_call(which, 0, 0, 0)
67 #define SBI_CALL_1(which, arg0) sbi_call(which, arg0, 0, 0)
68 #define SBI_CALL_2(which, arg0, arg1) sbi_call(which, arg0, arg1, 0)
/seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/
H A Dutils.py21 def which(command): function
24 return subprocess.check_output(['which', command], stderr=f,
33 _cpp_available = which('cpp')
40 _spin_available = which('spin')
73 _c_compiler = which(cc)
85 _python_available = which('python')
95 _sha256sum_available = which('sha256sum')
H A Dteststrhash.py27 from camkes.internal.tests.utils import CAmkESTest, sha256sum_available, which namespace
31 assert which('sha256sum') is not None
/seL4-camkes-master/tools/rumprun/lib/libbmk_rumpuser/
H A Drumpuser_clock.c37 rumpuser_clock_gettime(int which, int64_t *sec, long *nsec) argument
43 switch (which) {
/seL4-camkes-master/tools/rumprun/platform/hw/
H A Dintr.c175 isr(int which) argument
177 if ((which & 1<<4) != 0) {
182 which &= ~(1<<4);
186 isr_todo |= which;
/seL4-camkes-master/tools/rumprun/tests/
H A Dbuildtests.sh3 # This script builds all tests, including the one which
14 TESTCMAKE=$(which cmake || echo "")
/seL4-camkes-master/tools/cogent/cogent/scripts/
H A Dcheck_ghcs.sh29 if ! which "ghc-${i}"; then
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_mld.tex20 \item \texttt{mcast\_link} - the link on which that multicast group should be joined.
23 \item \texttt{\_MCASTFilter} - list of multicast sources on which source filtering might be applied.
H A Dchap_api_igmp.tex20 \item \texttt{mcast\_link} - the link on which that multicast group should be joined.
23 \item \texttt{\_MCASTFilter} - list of multicast sources on which source filtering might be applied.
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Dcapdl_linker.py87 parser_a.set_defaults(which="build_cnode")
92 parser_b.set_defaults(which="gen_cdl")
113 if args.which == "build_cnode":
122 if args.which == "gen_cdl":
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dintr.c194 isr(int which, int soft_which) argument
198 isr_todo |= which;
/seL4-camkes-master/tools/cogent/cogent/manual/
H A Dcogent-manual.tex94 ``surface syntax'' which is the interface for the programmer. Note that most publications about \cogent refer to the more
95 concise ``core syntax'' which is created from the surface syntax by applying the ``desugaring rules''.
101 Additionally in a \cogent program the usual Haskell preprocessor directives can be used, which are similar to the C preprocessor directives.
233 The type of a character literal is \code{U8} (see below), which corresponds to a single byte.
269 In most typed programming languages a type only determines a set of values and the operations which
275 We will first look at the basic features of the \cogent type system, which are similar to those of types
439 Depending on the tag, every value may have a ``payload'' which is a sequence of values, as in a tuple.
509 Note, that a \textit{TypeA1} cannot be a function type. Hence, to specify a higher order function type in \cogent, which
512 In particular, the type expression \code{U8 -> U8 -> U16}, which is the usual way of specifying the type of a binary function in Haskell through
515 be specified as \code{(U8,U8) -> U16} in \cogent, which i
[all...]
/seL4-camkes-master/kernel/manual/parts/
H A Dintro.tex21 which in turn enabled proofs of the kernel's enforcement of
36 the seL4 abstract specification, which
H A Dapi.tex53 \newcommand{\debugargvaddrshortdesc}{A virtual address which forms part of the
57 \newcommand{\debugargtypeshortdesc}{One of: \texttt{seL4\_InstructionBreakpoint}, which specifies
59 \texttt{vaddr} or \texttt{seL4\_DataBreakpoint}, which states that the breakpoint
83 '\texttt{seL4\_Word vaddr}', the virtual address at which the breakpoint will currently
85 '\texttt{seL4\_Word type}', the type of operation which will currently trigger the
91 '\texttt{seL4\_Bool is\_enabled}', which indicates whether or not the breakpoint
96 '\texttt{seL4\_Bool bp\_was\_consumed}', a boolean which indicates whether or not the \texttt{bp\_num}
H A Dcspace.tex12 capabilities that the thread possesses, thereby governing which
16 \obj{CNode}s. A \obj{CNode} is a table of slots, each of which may
23 some \obj{CNode} in the CSpace), which may or may not contain a
39 derivation tree} (CDT) in which it tracks the relationship between
92 to the slot in which it is currently.
103 same, in which case the capability in it is swapped with the
130 index into the \obj{CNode} at which the first capability will be placed.
145 can be invoked. seL4 supports four access rights, which
322 either be empty, or contain a capability, which may refer to another \obj{CNode}.
324 must be a power of two. A \obj{CNode} is said to have a \emph{radix}, which i
[all...]

Completed in 243 milliseconds

123