/seL4-camkes-master/projects/musllibc/src/ctype/ |
H A D | __ctype_tolower_loc.c | 3 static const int32_t table[] = { 25 static const int32_t *const ptable = table+128; 27 const int32_t **__ctype_tolower_loc(void)
|
H A D | __ctype_toupper_loc.c | 3 static const int32_t table[] = { 25 static const int32_t *const ptable = table+128; 27 const int32_t **__ctype_toupper_loc(void)
|
/seL4-camkes-master/projects/musllibc/include/sys/ |
H A D | signalfd.h | 22 int32_t ssi_errno; 23 int32_t ssi_code; 26 int32_t ssi_fd; 31 int32_t ssi_status; 32 int32_t ssi_int;
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_6lowpan_ll.h | 93 int32_t (* process_in)(struct pico_frame *f); 94 int32_t (* process_out)(struct pico_frame *f); 95 int32_t (* estimate)(struct pico_frame *f); 96 int32_t (* addr_from_buf)(union pico_ll_addr *addr, uint8_t *buf); 97 int32_t (* addr_from_net)(union pico_ll_addr *addr, struct pico_frame *f, int32_t dest); 98 int32_t (* addr_len)(union pico_ll_addr *addr); 99 int32_t (* addr_cmp)(union pico_ll_addr *a, union pico_ll_addr *b); 100 int32_t (* addr_iid)(uint8_t *iid, union pico_ll_addr *addr); 116 int32_t pico_6lowpan_ll_pus [all...] |
H A D | pico_tftp.h | 54 int pico_tftp_set_option(struct pico_tftp_session *session, uint8_t type, int32_t value); 55 int pico_tftp_get_option(struct pico_tftp_session *session, uint8_t type, int32_t *value); 58 int (*user_cb)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg), void *arg); 60 int (*user_cb)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg), void *arg); 63 int32_t pico_tftp_send(struct pico_tftp_session *session, const uint8_t *data, int32_t len); 65 int pico_tftp_listen(uint16_t family, void (*cb)(union pico_address *addr, uint16_t port, uint16_t opcode, char *filename, int32_t len)); 67 int pico_tftp_parse_request_args(char *args, int32_t len, int *options, uint8_t *timeout, int32_t *filesize); 72 int pico_tftp_get_file_size(struct pico_tftp_session *session, int32_t *file_siz [all...] |
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | utf.h | 21 int utf8_encode(int32_t codepoint, char *buffer, size_t *size); 24 size_t utf8_check_full(const char *buffer, size_t size, int32_t *codepoint); 25 const char *utf8_iterate(const char *buffer, size_t size, int32_t *codepoint);
|
/seL4-camkes-master/projects/musllibc/arch/aarch64/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/aarch64_sel4/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/arm/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/arm_sel4/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/i386/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/i386_sel4/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/microblaze/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/mips/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/mips64/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/mipsn32/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/or1k/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/powerpc/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/powerpc64/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/s390x/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/sh/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/x32/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/x86_64/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/musllibc/arch/x86_64_sel4/bits/ |
H A D | stdint.h | 1 typedef int32_t int_fast16_t; 2 typedef int32_t int_fast32_t;
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_stack.h | 22 int32_t pico_transport_receive(struct pico_frame *f, uint8_t proto); 29 int32_t pico_network_send(struct pico_frame *f); 32 int32_t pico_network_receive(struct pico_frame *f); 49 int32_t pico_sendto_dev(struct pico_frame *f); 57 int32_t pico_stack_recv(struct pico_device *dev, uint8_t *buffer, uint32_t len); 58 int32_t pico_stack_recv_zerocopy(struct pico_device *dev, uint8_t *buffer, uint32_t len); 59 int32_t pico_stack_recv_zerocopy_ext_buffer(struct pico_device *dev, uint8_t *buffer, uint32_t len); 60 int32_t pico_stack_recv_zerocopy_ext_buffer_notify(struct pico_device *dev, uint8_t *buffer, uint32_t len, void (*notify_free)(uint8_t *buffer)); 90 int32_t pico_seq_compare(uint32_t a, uint32_t b);
|