| /seL4-camkes-master/projects/camkes/apps/cakeml_regex/components/CakeMLFilter/ |
| H A D | emit_string.c | 11 void ffiemit_string(unsigned char * c, long clen, unsigned char * a, long alen) { argument
|
| /seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/ |
| H A D | camkes_init.c | 18 void ffipre_init_interface_sync(unsigned char *c, long clen, unsigned char *a, long alen) { argument
23 void ffipost_init_interface_sync(unsigned char *c, long clen, unsigned char *a, long alen) { argument
|
| H A D | exit.c | 16 void ffifail(unsigned char *c, long clen, unsigned char *a, long alen) { argument
|
| H A D | args.c | 20 void ffiget_arg_count(unsigned char *c, long clen, unsigned char *a, long alen) { argument
25 void ffiget_arg_length(unsigned char *c, long clen, unsigned char *a, long alen) { argument
33 void ffiget_arg(unsigned char *c, long clen, unsigned char *a, long alen) { argument
|
| H A D | io.c | 21 void ffiopen_in(unsigned char *c, long clen, unsigned char *a, long alen) { argument
32 void ffiopen_out(unsigned char *c, long clen, unsigned char *a, long alen) { argument
43 void ffiread(unsigned char *c, long clen, unsigned char *a, long alen) { argument
60 void ffiwrite(unsigned char *c, long clen, unsigned char *a, long alen){ argument
80 void fficlose(unsigned char *c, long clen, unsigned char *a, long alen) { argument
|
| H A D | virtqueue.c | 34 void ffivirtqueue_device_init(char *c, unsigned long clen, char *a, unsigned long alen) argument
58 void ffivirtqueue_driver_init(char *c, unsigned long clen, char *a, unsigned long alen) argument
81 void ffivirtqueue_device_poll(char *c, unsigned long clen, char *a, unsigned long alen) argument
92 void ffivirtqueue_driver_poll(char *c, unsigned long clen, char *a, unsigned long alen) argument
103 void ffivirtqueue_device_recv(char *c, unsigned long clen, char *a, unsigned long alen) argument
141 void ffivirtqueue_device_signal(char *c, unsigned long clen, char *a, unsigned long alen) argument
149 void ffivirtqueue_driver_signal(char *c, unsigned long clen, char *a, unsigned long alen) argument
157 void ffivirtqueue_driver_recv(char *c, unsigned long clen, char *a, unsigned long alen) argument
180 void ffivirtqueue_driver_send(char *c, unsigned long clen, char *a, unsigned long alen) argument
|
| H A D | ipc.c | 19 void fficamkes_declare_reply_cap(unsigned char *c, long clen, unsigned char *a, long alen) { argument
26 void fficlear_tls_reply_cap_in_tcb(unsigned char *c, long clen, unsigned char *a, long alen) { argument
38 void ffiset_tls_cnode_cap(unsigned char *c, long clen, unsigned char *a, long alen) { argument
45 void ffiseL4_Recv(unsigned char *c, long clen, unsigned char *a, long alen) { argument
60 void ffiseL4_ReplyRecv(unsigned char *c, long clen, unsigned char *a, long alen) { argument
84 void ffiseL4_Send(unsigned char *c, long clen, unsigned char *a, long alen) { argument
100 void ffiseL4_Wait(unsigned char *c, long clen, unsigned char *a, long alen) { argument
|
| /seL4-camkes-master/projects/musllibc/src/network/ |
| H A D | recvfrom.c | 5 ssize_t recvfrom(int fd, void *restrict buf, size_t len, int flags, struct sockaddr *restrict addr, socklen_t *restrict alen) argument
7 return socketcall_cp(recvfrom, fd, buf, len, flags, addr, alen);
|
| H A D | sendto.c | 5 ssize_t sendto(int fd, const void *buf, size_t len, int flags, const struct sockaddr *addr, socklen_t alen) argument
7 return socketcall_cp(sendto, fd, buf, len, flags, addr, alen);
|
| /seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/cakeml-filter/ |
| H A D | global_endpoint.c | 17 void ffiget_global_endpoint(char * c, unsigned long clen, char * a, unsigned long alen) { argument
18 assert(alen >= 1 + sizeof(seL4_CPtr));
|
| /seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
| H A D | module.c | 180 unsigned int alen, blen; local
183 alen = vfat_striptail_len(name);
185 if (alen == blen) {
186 if (nls_strnicmp(t, name->name, str, alen) == 0)
203 unsigned int alen, blen; local
206 alen = vfat_striptail_len(name);
208 if (alen == blen) {
209 if (strncmp(name->name, str, alen) == 0)
|