/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | arch_prctl.c | 3 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 D | util.h | 19 #define SET_ERROR(var, code) do { \ 21 *(var) = (code); \
|
/seL4-camkes-master/projects/musllibc/src/exit/ |
H A D | quick_exit.c | 7 _Noreturn void quick_exit(int code) argument 10 _Exit(code);
|
H A D | exit.c | 28 _Noreturn void exit(int code) argument 33 _Exit(code);
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_slaacv4.h | 14 int pico_slaacv4_claimip(struct pico_device *dev, void (*cb)(struct pico_ip4 *ip, uint8_t code));
|
H A D | pico_dhcp_common.c | 22 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 D | pico_dhcp_client.h | 16 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 D | finisher.h | 12 void finisher_exit(uint16_t code);
|
H A D | finisher.c | 9 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 D | icmp.h | 13 * 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 D | mld6.h | 13 * 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 D | sel4runtime.h | 148 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 D | error.hpp | 21 # define MSGPACK_PP_ERROR(code) MSGPACK_PP_CAT(MSGPACK_PP_ERROR_, code)
|
/seL4-camkes-master/tools/cogent/cogent/manual/ |
H A D | cogent-manual.tex | 10 \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 D | slaacv4.c | 26 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 D | dhcp_client.c | 36 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 D | doc.tex | 116 \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 D | icmp6.c | 14 * 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 D | upap.c | 10 * 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 D | chap-new.c | 10 * 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 D | make_isabelle_symbols.py | 85 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 D | frontend.c | 34 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 D | clone.s | 8 # 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 D | chap_api_slaacv4.tex | 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. 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 D | man-gen.pl | 80 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.
|