Searched refs:code (Results 1 - 25 of 116) sorted by relevance

12345

/seL4-camkes-master/projects/musllibc/src/linux/
H A Darch_prctl.c3 int arch_prctl(int code, unsigned long addr) argument
5 return syscall(SYS_arch_prctl, code, addr);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dutil.h19 #define SET_ERROR(var, code) do { \
21 *(var) = (code); \
/seL4-camkes-master/projects/musllibc/src/exit/
H A Dquick_exit.c7 _Noreturn void quick_exit(int code) argument
10 _Exit(code);
H A Dexit.c28 _Noreturn void exit(int code) argument
33 _Exit(code);
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_slaacv4.h14 int pico_slaacv4_claimip(struct pico_device *dev, void (*cb)(struct pico_ip4 *ip, uint8_t code));
H A Dpico_dhcp_common.c22 if (opt->code == PICO_DHCP_OPT_END)
25 if (opt->code == PICO_DHCP_OPT_PAD) {
30 *p += (opt->len + 2); /* (len + 2) to account for code and len octet */
50 p++; /* move pointer from code octet to len octet */
69 opt->code = PICO_DHCP_OPT_NETMASK;
80 opt->code = PICO_DHCP_OPT_ROUTER;
91 opt->code = PICO_DHCP_OPT_DNS;
102 opt->code = PICO_DHCP_OPT_BROADCAST;
113 opt->code = PICO_DHCP_OPT_REQIP;
124 opt->code
[all...]
H A Dpico_dhcp_client.h16 int pico_dhcp_initiate_negotiation(struct pico_device *device, void (*callback)(void*cli, int code), uint32_t *xid);
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dfinisher.h12 void finisher_exit(uint16_t code);
H A Dfinisher.c9 void finisher_exit(uint16_t code) argument
12 if (code == 0) {
15 *finisher = code << 16 | FINISHER_FAIL;
/seL4-camkes-master/projects/lwip/src/include/lwip/prot/
H A Dicmp.h13 * 1. Redistributions of source code must retain the above copyright notice,
71 PACK_STRUCT_FLD_8(u8_t code);
81 /* Compatibility defines, old versions used to combine type and code to an u16_t */
83 #define ICMPH_CODE(hdr) ((hdr)->code)
85 #define ICMPH_CODE_SET(hdr, c) ((hdr)->code = (c))
H A Dmld6.h13 * 1. Redistributions of source code must retain the above copyright notice,
55 PACK_STRUCT_FLD_8(u8_t code);
/seL4-camkes-master/projects/sel4runtime/include/
H A Dsel4runtime.h148 typedef void sel4runtime_exit_cb(int code);
160 * Should return the exit code to be generated.
162 typedef int sel4runtime_pre_exit_cb(int code);
179 void sel4runtime_exit(int code);
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/debug/
H A Derror.hpp21 # define MSGPACK_PP_ERROR(code) MSGPACK_PP_CAT(MSGPACK_PP_ERROR_, code)
/seL4-camkes-master/tools/cogent/cogent/manual/
H A Dcogent-manual.tex10 \newcommand{\code}[1]{\textnormal{\texttt{#1}}}
107 starting with the symbol \code{-}\code{-} and ending at the end of the line, or it may
108 be a block comment enclosed in \code{\{-} and \code{-\}}.
127 with the symbol \code{@}. Document blocks can be used to generate an HTML documentation from a Cogent source:
166 The underscore symbol \code{\_} and the single quote \verb|'| may appear in identifiers but not at the beginning. Examples for valid
167 identifiers are \code{v1}, \code{very\_long\_identifier}, \code{CamelCas
[all...]
/seL4-camkes-master/projects/picotcp/test/examples/
H A Dslaacv4.c26 void slaacv4_cb(struct pico_ip4 *ip, uint8_t code) argument
29 printf("SLAACV4 CALLBACK ip:0x%X code:%d \n", ip->addr, code);
30 if (code == 0)
H A Ddhcp_client.c36 void callback_dhcpclient(void *arg, int code) argument
41 printf("DHCP client: callback happened with code %d!\n", code);
42 if (code == PICO_DHCP_SUCCESS) {
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex116 \text{variable / field} & v & ::= & [\code{a-z}][\code{A-Za-z0-9'\_}]^*\ |\ \code{\_}[\code{A-Za-z0-9'\_}]^+ \\
117 \text{type constructor / tag} & T & ::= & [\code{A-Z}][\code{A-Za-z0-9'\_}]^* \\
118 \text{binding} & b & ::= & p_i\ (\code{:}\ \tau)^?\ \code{=}\ e\ (\code{!} v)^* \\
119 \text{record matching} & r_m & ::= & v\ (\code{
[all...]
/seL4-camkes-master/projects/lwip/src/core/ipv6/
H A Dicmp6.c14 * 1. Redistributions of source code must retain the above copyright notice,
66 static void icmp6_send_response(struct pbuf *p, u8_t code, u32_t data, u8_t type);
67 static void icmp6_send_response_with_addrs(struct pbuf *p, u8_t code, u32_t data,
69 static void icmp6_send_response_with_addrs_and_netif(struct pbuf *p, u8_t code, u32_t data,
217 * @param c ICMPv6 code for the unreachable type
249 * @param c ICMPv6 code for the time exceeded type
267 * @param c ICMPv6 code for the time exceeded type
288 * @param c ICMPv6 code for the param problem type
304 * @param code Code of the ICMPv6 header
309 icmp6_send_response(struct pbuf *p, u8_t code, u32_ argument
346 icmp6_send_response_with_addrs(struct pbuf *p, u8_t code, u32_t data, u8_t type, const ip6_addr_t *src_addr, const ip6_addr_t *dest_addr) argument
385 icmp6_send_response_with_addrs_and_netif(struct pbuf *p, u8_t code, u32_t data, u8_t type, const ip6_addr_t *reply_src, const ip6_addr_t *reply_dest, struct netif *netif) argument
[all...]
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Dupap.c10 * 1. Redistributions of source code must retain the above copyright
130 static void upap_sresp(ppp_pcb *pcb, u_char code, u_char id, const char *msg, int msglen);
307 u_char code, id; local
311 * Parse header (code, id and length).
319 GETCHAR(code, inp);
333 * Action depends on code.
335 switch (code) {
350 default: /* XXX Need code reject */
567 static void upap_sresp(ppp_pcb *pcb, u_char code, u_char id, const char *msg, int msglen) { argument
584 PUTCHAR(code, out
603 int code, id, len; local
[all...]
H A Dchap-new.c10 * 1. Redistributions of source code must retain the above copyright
93 static void chap_handle_response(ppp_pcb *pcb, int code,
102 static void chap_handle_status(ppp_pcb *pcb, int code, int id,
173 if (dp->code == digest_code)
205 if (dp->code == digest_code)
394 pcb->chap_server.digest->code,
497 static void chap_handle_status(ppp_pcb *pcb, int code, int id, argument
507 if (code == CHAP_SUCCESS) {
511 code = CHAP_FAILURE;
526 if (code
536 unsigned char code, id; local
595 int code, id, len; local
[all...]
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dmake_isabelle_symbols.py85 if k == 'code:':
87 code = int(v, 16)
89 sys.stderr.write('invalid code field on line %d\n' %
94 options.output.write('\'%s\'),\n' % six.unichr(code))
97 sys.stderr.write('no code field on line %d\n' % number)
/seL4-camkes-master/tools/riscv-pk/pk/
H A Dfrontend.c34 void shutdown(int code) argument
36 frontend_syscall(SYS_exit, code, 0, 0, 0, 0, 0, 0);
/seL4-camkes-master/projects/musllibc/src/thread/powerpc64/
H A Dclone.s8 # pseudo C code:
45 # call SYS_exit. exit code is already in r3 from fn return value
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_slaacv4.tex12 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.
16 \texttt{pico\_slaacv4\_claimip(struct pico\_device *dev, void (*cb)(struct pico\_ip4 *ip, uint8\_t code));}
21 \item \texttt{*cb} - a callback function returning the ip claimed and a return code (SLAACV4\_ERROR | SLAACV4\_SUCCESS)
/seL4-camkes-master/tools/cogent/cogent/scripts/
H A Dman-gen.pl80 It is used to compile Cogent source code
81 and generate C code,
83 to show that the generated C code
88 compiler supports FFI to interact with existing C code.

Completed in 170 milliseconds

12345