Searched defs:buffer_size (Results 1 - 7 of 7) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | msgqueue_template.h | 27 size_t buffer_size; member in struct:camkes_msgqueue_channel
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | msgqueue_template.c | 20 static inline int msgqueue_channel_check_common(int msgqueue_id, void *buffer, size_t buffer_size, argument
51 msgqueue_channel_init_common(int msgqueue_id, void *buffer, unsigned queue_len, size_t buffer_size, size_t message_size) argument
63 camkes_msgqueue_channel_register_sender(int msgqueue_id, void *buffer, unsigned queue_len, size_t buffer_size, size_t message_size, void (*notify)(void)) argument
84 camkes_msgqueue_channel_register_receiver(int msgqueue_id, void *buffer, unsigned queue_len, size_t buffer_size, size_t message_size, int (*poll)(void), void (*wait)(void)) argument
[all...] |
| H A D | virtqueue_common.c | 58 camkes_virtqueue_driver_init_common(virtqueue_driver_t *driver, volatile void *buffer, unsigned queue_len, size_t buffer_size, void (*notify)(void), size_t block_size) argument
|
| H A D | msgqueue.c | 187 int camkes_msgqueue_get(camkes_msgqueue_receiver_t *receiver, void *buffer, size_t buffer_size) argument
|
| /seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/ |
| H A D | client.c | 32 size_t buffer_size = 4000; local
|
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
| H A D | server.c | 427 size_t buffer_size = pico_send_buf_size(pico_send_enumerate_badge(client_id)); local
448 size_t buffer_size = pico_send_buf_size(pico_send_enumerate_badge(client_id)); local
469 size_t buffer_size = pico_send_buf_size(pico_send_enumerate_badge(client_id)); local
492 size_t buffer_size = pico_recv_buf_size(pico_recv_enumerate_badge(client_id)); local
92 server_communication_common(seL4_Word client_id, int socket_fd, int len, int buffer_offset, size_t buffer_size, picoserver_socket_t **ret_socket, void **ret_buffer) argument
513 size_t buffer_size = pico_recv_buf_size(pico_recv_enumerate_badge(client_id)); local
535 size_t buffer_size = pico_recv_buf_size(pico_recv_enumerate_badge(client_id)); local
[all...] |
| /seL4-camkes-master/projects/lwip/src/apps/http/ |
| H A D | http_client.c | 487 httpc_create_request_string(const httpc_connection_t *settings, const char* server_name, int server_port, const char* uri, int use_host, char *buffer, size_t buffer_size) argument
|
Completed in 41 milliseconds