Searched refs:is (Results 26 - 50 of 115) sorted by relevance

12345

/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_slaacv4.tex11 In case of success the IP is registered to the IP layer and returned using the callback function.
12 In case of error, code SLAACV4\_ERROR is returned. Errors occur when the maximum number of conflicts is reached.
13 Use the IP returned only if the return code is SLAACV4\_SUCCESS.
H A Dchap_api_dns_c.tex30 On error, -1 is returned and \texttt{pico$\_$err} is set appropriately.
62 \item \texttt{arg} - Pointer to an identifier for the request. The pointer is returned in the callback.
66 On success, this call returns 0 if the request is sent.
67 On error, -1 is returned and \texttt{pico$\_$err} is set appropriately.
98 \item \texttt{arg} - Pointer to an identifier for the request. The pointer is returned in the callback.
102 On success, this call returns 0 if the request is sent.
103 On error, -1 is returned and \texttt{pico$\_$err} is se
[all...]
H A Dchap_api_ppp.tex5 embedded system, it is often used to access dial-up modems over serial lines.
16 Once the physical interface is attached, the access to the remote access point gateway
20 When the interface is configured, the connection may be established using
37 A new pico\_device is allocated and returned if the device is successfully created.
49 to the read functionality of the PPP driver. Setting up a proper read/write interface is necessary
66 0 returned if the serial read function is successfully associated.
82 to the write functionality of the PPP driver. Setting up a proper read/write interface is necessary
99 0 returned if the serial write function is successfully associated.
117 Calling this function is no
[all...]
H A Dchap_api_ipfilter.tex4 This module allows the user to add and remove filters. The user can filter packets based on interface, protocol, outgoing address, outgoing netmask, incomming address, incomming netmask, outgoing port, incomming port, priority and type of service. There are four types of filters: ACCEPT, PRIORITY, REJECT, DROP. When creating a PRIORITY filter, it is necessary to give a priority value in a range between '-10' and '10', '0' as default priority.
32 \item \texttt{action} - type of action for the filter: ACCEPT, PRIORITY, REJECT and DROP. ACCEPT, filters all packets selected by the filter. PRIORITY is not yet implemented. REJECT drops all packets and send an ICMP message 'Packet Filtered' (Communication Administratively Prohibited). DROP will discard the packet silently.
37 On error, -1 is returned and \texttt{pico$\_$err} is set appropriately.
70 On error, -1 is returned and \texttt{pico$\_$err} is set appropriately.
H A Dchap_api_tftp.tex8 on the receiving side. Please note that a block whose size is less than the block size indicates
11 To indicate the end of a transfer where the content is aligned with the block size, an additional
18 Real file transaction is started using the functions pico$\_$tftp$\_$start$\_$tx and pico$\_$tftp$\_$start$\_$rx; both require a callback that must be provided by the user to handle single chunks of the transmission. The transmitter callback must use pico$\_$tftp$\_$send function to send each block of data.
20 In case of problem the session can be aborted (and an error message is sent to the remote side) using pico$\_$tftp$\_$abort.
22 When a transfer is complete the session became invalid and must not be used any more.
26 In some use case is preferable to have an application driven behaviour. The API provide 5 specific functions to use TFTP in this scenario.
28 The way to obtain a session handler suited for this purpose is an invocation to the function pico$\_$tftp$\_$app$\_$setup. The synchro variable passed to this function will play a key role during the management of the transfer.
32 Once the session is created, the application can start receiving a file with a call to the function pico$\_$tftp$\_$app$\_$start$\_$rx or, if needs to transmit, invoking pico$\_$tftp$\_$app$\_$start$\_$tx.
34 After the file transfer is started the user is allowe
[all...]
H A Dchap_api_mdns.tex4 This module can register DNS resource records on the network via Multicast DNS as either \textbf{\emph{shared}} or \textbf{\emph{unique}} records. Unique records are, as the name implies, unique on the network (the record-name and -type combination is unique) and one single host has claimed the ownership of them. Shared records are records that are not unique on the network, which means multiple hosts can register records with the same record-name and -type combination. For more information on shared and unique resource record sets, see RFC6762.
6 Unique records are, as it should, defended when somebody else tries to claim the same unique records. When hosts detect such a defense of another host while registering their own records, the conflict will be resolved by choosing another name for the records and another attempt is made to register those new records.
13 Initialises the entire mDNS-module and sets the hostname for this machine. Sets up the global mDNS socket properly and calls callback when succeeded. Only when the module is properly initialised, records can be registered on the network.
26 \item \texttt{cb$\_$initialised} - Callback-function that is called when the initialisation process is done. This will also get called when asynchronous conflicts occur for successfully registered records during run-time. The mDNS-record tree contains the registered records, the char-buffer contains the registered hostname and the void-pointer contains the passed argument.
31 Returns 0 when the module is properly initialised and the host started registering the hostname. Returns something else went the host failed initialising the module or registering the hostname. \texttt{pico$\_$err} is set appropriately.
56 Returns the current hostname for this machine when the module is initialised, returns NULL when the module is not initialised.
72 Tries to claim a hostname for this machine. Claims automatically a unique A record with the IPv4-address of this host. The hostname won't be set directly when this functions returns, but only if the claiming of the unique record succeeded. Init-callback specified when initialising the module will be called when the hostname-record is successfull
[all...]
H A Dchap_api_dhcp_c.tex4 A DHCP client for obtaining a dynamic IP address. DHCP is supported on multiple interfaces.
22 \item \texttt{callback} - the function which is executed on success or failure. This function can be called multiple times. F.e.: initially DHCP succeeded, then the DHCP server is removed long enough from the network for the lease to expire, later the server is added again to the network. The callback is called 3 times: first with code \texttt{PICO\_DHCP\_SUCCESS}, then with \texttt{PICO\_DHCP\_RESET} and finally with \texttt{PICO\_DHCP\_SUCCESS}. The callback may be called before \texttt{pico\_dhcp\_initiate\_negotiation} has returned, f.e. in case of failure to open a socket. The callback has two parameters:
33 \item \texttt{PICO\_DHCP\_ERROR} - an error occurred. DHCP is unable to recover from this error. \texttt{pico$\_$err} is set appropriately.
45 \item \texttt{PICO$\_$ERR$\_$EHOSTUNREACH} - host is unreachable
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Drumprunlibs.mk6 # the BSD 2-Clause license. Note that NO WARRANTY is provided.
21 # `startfile` that is used when constructing rumprun images. Contains all low
22 # level system symbols. It is produced by the Makefile in ${RUMPRUN_BASE_DIR}/platform/sel4/
26 # This separation is so that CAmkES glue code can be linked with this file and then replacing
39 # Tooltuple of rumprun toolchains. x86_64-rumprun-netbsd is an example
47 # Note: this is a different compiler than RUMPRUN_CC mentioned above.
73 # Objcopy is used to promote all -G symbols to global symbols while hiding all other symbols.
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_tcp.c102 struct tcp_input_segment *is; local
115 is = segment_from_frame(f);
116 fail_if(!is);
117 is->payload_len = 0;
118 fail_if(pico_enqueue_segment(&t->tcpq_in, is) >= 0);
119 is->payload_len = 40;
123 fail_if(pico_enqueue_segment(&t->tcpq_in, is) <= 0);
129 fail_if(pico_enqueue_segment(&t->tcpq_in, is) != 0);
138 fail_if(pico_enqueue_segment(&t->tcpq_in, is) > 0);
142 is
178 struct tcp_input_segment *is; local
231 struct tcp_input_segment *is; local
[all...]
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dcommon.h12 * This program is free software; you can redistribute it and/or
17 * This program is distributed in the hope that it will be useful,
45 #error CONFIG_INIT_CRITICAL is deprecated!
60 * Output a debug text when condition "cond" is met. The "cond" should be
76 * @type: the type of the container struct this is embedded in.
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dcommon.h12 * This program is free software; you can redistribute it and/or
17 * This program is distributed in the hope that it will be useful,
45 #error CONFIG_INIT_CRITICAL is deprecated!
64 * Output a debug text when condition "cond" is met. The "cond" should be
80 * @type: the type of the container struct this is embedded in.
/seL4-camkes-master/tools/rumprun/app-tools/
H A Dcookfs.in242 echo ">> Maximum recommended size is 1024 kB." 2>&1
243 echo ">> Your image memory footprint is $((${totsize}/1024)) kB." 2>&1
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dcommon.h12 * This program is free software; you can redistribute it and/or
17 * This program is distributed in the hope that it will be useful,
42 #error CONFIG_INIT_CRITICAL is deprecated!
61 * Output a debug text when condition "cond" is met. The "cond" should be
77 * @type: the type of the container struct this is embedded in.
/seL4-camkes-master/tools/riscv-pk/scripts/
H A Dvcs-version.sh12 # system. The string is appropriate for use in installations and
23 # where X is the major release, Y is the minor release, Z is the number
24 # of commits since the X.Y release, N is an eight digit abbreviated SHA
25 # hash of the most recent commit and the dirty suffix is appended when
27 # is not a pristine checkout. Here are some example version strings:
35 # The last example is from a dirty working directory. To find the last
38 # If there is no such tag in the history, then the script uses 0.0 as
42 # If the current directory is no
[all...]
/seL4-camkes-master/kernel/manual/parts/
H A Dvspace.tex9 A virtual address space in seL4 is called a VSpace. In a similar
10 way to a CSpace (see \autoref{ch:cspace}), a VSpace is composed of objects
14 Common to every architecture is the \obj{Page}, representing a frame of physical memory.
30 For each architecture, the VSpace is realised as a different object, as determined by the
34 or a specifically sized frame of memory, can be mapped. If the previous level is not mapped,
37 for that level, is hardware defined.
42 the capability to the corresponding object is invoked with a map operation, where the top-level
43 structure is passed as an argument.
45 In general, the top-level structure has no invocations for mapping, but is used as an argument to
58 On IA-32, the VSpace is realise
[all...]
H A Dintro.tex9 % FIXME: Use of service, mechanism and abstraction is munged through here and the rest of the manual
11 The seL4 microkernel is an operating-system kernel designed to be
33 behaviour of the seL4 kernel, this document is by no means a formal
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex5 % the GNU General Public License version 2. Note that NO WARRANTY is provided.
107 Note: The syntax of \cogent is not restricted to regular expression, thus the following EBNF definition is incomplete and is
175 \text{function definition} & f & ::= & v\ ({a^{\col{c}}}^+ | v\ \code{=}\ e^{\col{1}}) \cmt{a^+\ \textit{are aligned, } c \textit{ is the first column of } a^+} \\
192 and is optionally followed by information specific to that type of pragma. Case is ignored in \codeit{word}.
271 Note: $::$ is meta-lang.
274 \begin{inductive}{\desugar{\Gamma}{e}{e} \quad \text{(\HiCore{e} is core syntax. See \cite{greport})}}
439 use to be a primitive \inlinecogent{Char} type in the surface language, but since it is
[all...]
/seL4-camkes-master/projects/musllibc/src/internal/i386/
H A Dsyscall.s38 # The __vsyscall6 entry point is used only for 6-argument syscalls.
40 # 5th and 6th arguments is passed. This is ugly, but there are no
/seL4-camkes-master/tools/rumprun/
H A Dglobal.mk9 # Suppress make from printing commands if BUILD_QUIET is set
/seL4-camkes-master/projects/musllibc/src/internal/sh/
H A Dsyscall.s8 ! say there are six, since that is the maximum we support here.
/seL4-camkes-master/projects/musllibc/src/signal/mips64/
H A Dsigsetjmp.s12 # sigsetjmp is equal to setjmp.
/seL4-camkes-master/projects/musllibc/src/signal/mipsn32/
H A Dsigsetjmp.s12 # sigsetjmp is equal to setjmp.
/seL4-camkes-master/projects/musllibc/src/thread/mips64/
H A Dsyscall_cp.s38 # if cancellation flag is 1 then call __cancel
/seL4-camkes-master/projects/musllibc/src/thread/mipsn32/
H A Dsyscall_cp.s38 # if cancellation flag is 1 then call __cancel
/seL4-camkes-master/projects/musllibc/src/thread/powerpc64/
H A Dclone.s45 # call SYS_exit. exit code is already in r3 from fn return value

Completed in 188 milliseconds

12345