Searched refs:given (Results 1 - 18 of 18) sorted by relevance

/seL4-camkes-master/projects/capdl/python-capdl-tool/tests/
H A Dallocator.py14 from hypothesis import given namespace
35 @given(st.integers(min_value=4, max_value=64), st.integers(min_value=4, max_value=64))
64 @given(st.lists(st.integers(min_value=4, max_value=64), max_size=100, min_size=10), st.integers(min_value=4, max_value=64))
76 @given(st.lists(st.integers(min_value=4, max_value=32), max_size=100, min_size=10),
133 @given(st.integers(min_value=0xA0, max_value=0xD0), st.integers(min_value=0xB0, max_value=0xC0))
159 @given(st.lists(st.integers(min_value=4, max_value=64), min_size=1), st.lists(st.integers(min_value=4, max_value=64), min_size=1))
179 @given(st.integers(min_value=0, max_value=3))
212 @given(st.lists(st.integers(min_value=4, max_value=16), min_size=1, max_size=1000))
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_dhcp_d.tex43 This function stops a previously started DHCP server on the given device.
59 \item PICO$\_$ERR$\_$ENOENT - there was no DHCP server running on the given device.
H A Dchap_api_sntp_c.tex11 Function to sync the local time to a given sntp server in string notation. DNS resolution will be done automatically.
43 Function to sync the local time to a given sntp server in IP address notation.
H A Dchap_api_mdns.tex175 Creates a single standalone mDNS resource record with given name, type and data to register on the network.
222 The initialisation-callback can get called multiple times during run-time due to \emph{passive conflict detection}. A passive conflict occurs for unique records when a faulty Multicast DNS-responder doesn't apply conflict resolution after an occurred conflict. A passive conflict can also occur when a peer registers a \textbf{\emph{shared}} record with the same name and type combination as a \textbf{\emph{unique}} record that the local host already successfully registered on the network. Because of that, shared records have priority over unique records, so unfortunately the local host has to apply the conflict resolution-mechanism to it's earlier uniquely verified record. To be able to notify the application of an updated unique record, the callback gets called given in the initialisation-function. But since that callback maybe parses the returned records as the hostname-records and this isn't necessarily the case when a passive conflict occurs, a mechanism is needed to differ hostname-records from other records. This preprocessor-macro allows this.
235 Returns 1 when this record is a hostname record, returns 0 when it's not or when given pointer is a NULL pointer
H A Dchap_api_ipv4.tex9 The result is stored in the char array that ipbuf points to. The given IP address argument must be in network order (i.e. 0xC0A80101 becomes 192.168.1.1).
133 This function will use the currently configured routing table to identify the link that would be used to transmit any traffic directed to the given IP address.
383 \item \texttt{gateway} - Gateway of the address network. If zeroed, no gateway will be associated to this route, and the traffic towards the destination will be simply forwarded towards the given device.
446 This function gets the gateway address for the given destination IP address, if set.
H A Dchap_api_ipv6.tex244 This function will use the currently configured routing table to identify the link that would be used to transmit any traffic directed to the given IP address.
391 \item \texttt{gateway} - Gateway of the address network. If zeroed, no gateway will be associated to this route, and the traffic towards the destination will be simply forwarded towards the given device.
454 This function gets the gateway address for the given destination IP address, if set.
H A Dchap_api_tftp.tex44 Start up a TFTP server listening for GET/PUT requests on the given port.
/seL4-camkes-master/kernel/manual/parts/
H A Dbootup.tex75 space. The mapped address is chosen by the kernel and given to the initial
149 of paging structure size. Within a given paging structure size, capabilities are
169 Untyped memory is given in no particular order. The array entry
H A Dio.tex60 a vector are effectively given through the \obj{IRQControl} capability and can
91 by the given \obj{IO Port} capability in order for the method to succeed.
220 modify memory contents that it has been explicitly given access to and allow
340 to use given context bank for translation. To simplify the process, the
409 maintaining: the number of context banks using a given ASID, and the ASID that a
410 given context bank is using. There are a few reasons behind this design.
H A Dthreads.tex271 exceeed the budget in their scheduling context for any given period, and that
380 IPC message are given in \autoref{tbl:ipc_contents}.\\
468 set only on ARM platforms. The API-ID of the first exclusive breakpoint is given
475 on ARM platforms. The API-ID of the first exclusive watchpoint is given
483 x86 platforms. The API-ID of the first dual-function monitor is given
518 use of a hardware breakpoint register, it will use the breakpoint register given to it in \texttt{bp\_num},
532 can be configured as single-steppers, to one at any given time. The register that
581 the thread. The contents of the IPC message are given below.\\
669 address space. Once constructed a \obj{TCB} can be given an \obj{EPTPML4} as an EPT root with \apifunc{seL4\_TCB\_SetEPTRoot}{x86_set_eptroot},
674 Direct access to I/O ports can be given t
[all...]
H A Dvspace.tex160 \texttt{seL4\_CapRights} given to the mapping function.
162 sufficient permissions to authorise the given mapping, then
H A Dapi.tex76 mapping. Possible values for this type are given in \autoref{ch:vspace}. }
H A Dcspace.tex473 When a capability lookup fails, a description of the failure is given
/seL4-camkes-master/projects/musllibc/
H A Dconfigure35 --enable-wrapper=... build given musl toolchain wrapper [auto]
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex467 given point in the program.~\footnote{There are exceptions to this, which will be discussed shortly.}
514 In order to restrain the permissions type variables possess, constraints can be given when explicit quantifiers
515 are given. For example, \inlinecogent{all (a :< DSE, b). a -> b} means that type variable \inlinecogent{a} has to
737 linearity). Each binding can be given a type annotation, written as \code{let x : t = b in body}.
/seL4-camkes-master/tools/cogent/cogent/manual/
H A Dcogent-manual.tex465 The tags are given by the \textit{DataConstructor} elements. Since the payload is a sequence of values the
1445 as are present in the expression, named according to the names given in the term. The field types are the types inferred
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Dltmain.sh556 # given, STRING is the basename for that directory.
648 # is given, then evaluate it.
672 # is given, then evaluate it. Use the saved locale for evaluation.
1307 # If FAIL_CMD is given, eval that upon failure.
1796 # where, for any given $build/$host combination the 'X_to_Y' value is the
2338 from the given SOURCEFILE.
2725 echo "in a given directory, LIBDIR, you must either use libtool, and"
8148 # which of the given symbols are data symbols and tag
8233 # The given exports_symbols file has to be filtered, so filter it.
8482 # The given exports_symbol
[all...]
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/
H A Dltmain.sh556 # given, STRING is the basename for that directory.
648 # is given, then evaluate it.
672 # is given, then evaluate it. Use the saved locale for evaluation.
1307 # If FAIL_CMD is given, eval that upon failure.
1796 # where, for any given $build/$host combination the 'X_to_Y' value is the
2338 from the given SOURCEFILE.
2725 echo "in a given directory, LIBDIR, you must either use libtool, and"
8148 # which of the given symbols are data symbols and tag
8233 # The given exports_symbols file has to be filtered, so filter it.
8482 # The given exports_symbol
[all...]

Completed in 225 milliseconds