/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 43 if (message_size >= buffer_size) { 52 size_t buffer_size, size_t message_size) 59 camkes_msgqueue_channels[msgqueue_id].buffer_size = buffer_size; 64 size_t buffer_size, size_t message_size, void (*notify)(void)) 66 int res = msgqueue_channel_check_common(msgqueue_id, buffer, buffer_size, message_size); 76 msgqueue_channel_init_common(msgqueue_id, buffer, queue_len, buffer_size, message_size); 85 size_t buffer_size, size_t message_size, int (*poll)(void), void (*wait)(void)) 87 int res = msgqueue_channel_check_common(msgqueue_id, buffer, buffer_size, message_siz 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.h | 30 size_t buffer_size, void (*notify)(void), size_t block_size);
|
H A D | msgqueue.c | 53 msgqueue_channel->buffer_size, msgqueue_channel->sender_funcs.notify, 187 int camkes_msgqueue_get(camkes_msgqueue_receiver_t *receiver, void *buffer, size_t buffer_size) argument 197 if (buffer_size < receiver->message_size) { 217 assert(buffer_size >= message_len);
|
H A D | virtqueue_common.c | 59 size_t buffer_size, void (*notify)(void), size_t block_size) 71 unsigned usable_len = buffer_size - (sizeof(vq_vring_avail_t) + sizeof(vq_vring_used_t) + 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
|
/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 42 int camkes_msgqueue_channel_register_sender(int msgqueue_id, void *buffer, unsigned queue_len, size_t buffer_size, 45 int camkes_msgqueue_channel_register_receiver(int msgqueue_id, void *buffer, unsigned queue_len, size_t buffer_size,
|
H A D | msgqueue.h | 45 int camkes_msgqueue_get(camkes_msgqueue_receiver_t *receiver, void *buffer, size_t buffer_size);
|
/seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/ |
H A D | client.c | 32 size_t buffer_size = 4000; local 35 if (camkes_virtqueue_driver_scatter_send_buffer(&read_virtqueue, NULL, buffer_size)) {
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
H A D | server.c | 93 size_t buffer_size, picoserver_socket_t **ret_socket, 102 if ((buffer_offset + len) > buffer_size) { 427 size_t buffer_size = pico_send_buf_size(pico_send_enumerate_badge(client_id)); local 432 buffer_size, &client_socket, &client_buf); 448 size_t buffer_size = pico_send_buf_size(pico_send_enumerate_badge(client_id)); local 453 buffer_size, &client_socket, &client_buf); 469 size_t buffer_size = pico_send_buf_size(pico_send_enumerate_badge(client_id)); local 474 buffer_size, &client_socket, &client_buf); 492 size_t buffer_size = pico_recv_buf_size(pico_recv_enumerate_badge(client_id)); local 497 buffer_size, 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 | 488 int use_host, char *buffer, size_t buffer_size) 493 return snprintf(buffer, buffer_size, HTTPC_REQ_11_PROXY_PORT_FORMAT(server_name, server_port, uri, server_name)); 495 return snprintf(buffer, buffer_size, HTTPC_REQ_11_PROXY_FORMAT(server_name, uri, server_name)); 499 return snprintf(buffer, buffer_size, HTTPC_REQ_11_HOST_FORMAT(uri, server_name)); 501 return snprintf(buffer, buffer_size, HTTPC_REQ_11_FORMAT(uri)); 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
|