Searched refs:buffer_size (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dmsgqueue_template.c20 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 Dvirtqueue_common.h30 size_t buffer_size, void (*notify)(void), size_t block_size);
H A Dmsgqueue.c53 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 Dvirtqueue_common.c59 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 Dmsgqueue_template.h27 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 Dmsgqueue.h45 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 Dclient.c32 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 Dserver.c93 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 Dhttp_client.c488 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

Completed in 52 milliseconds