Searched refs:message_size (Results 1 - 7 of 7) sorted by last modified time

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dmsgqueue.c46 size_t aligned_message_size = msgqueue_channel->message_size;
47 if (!IS_POWER_OF_2(msgqueue_channel->message_size)) {
48 aligned_message_size = NEXT_POWER_OF_2(msgqueue_channel->message_size);
59 sender->message_size = msgqueue_channel->message_size;
88 receiver->message_size = msgqueue_channel->message_size;
114 error = camkes_virtqueue_buffer_alloc(&sender->sender_channel, &ret_buffer, sender->message_size);
122 int camkes_msgqueue_send(camkes_msgqueue_sender_t *sender, void *message, size_t message_size) argument
132 if (message_size > sende
[all...]
H A Dmsgqueue_template.c21 size_t message_size)
43 if (message_size >= buffer_size) {
52 size_t buffer_size, size_t message_size)
60 camkes_msgqueue_channels[msgqueue_id].message_size = message_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_size);
20 msgqueue_channel_check_common(int msgqueue_id, void *buffer, size_t buffer_size, size_t message_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...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dmsgqueue_template.h28 size_t message_size; member in struct:camkes_msgqueue_channel
43 size_t message_size, void (*notify)(void));
46 size_t message_size, int (*poll)(void), void (*wait)(void));
H A Dmsgqueue.h24 size_t message_size; member in struct:camkes_msgqueue_sender
30 size_t message_size; member in struct:camkes_msgqueue_receiver
39 int camkes_msgqueue_send(camkes_msgqueue_sender_t *sender, void *message, size_t message_size);
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/
H A Dstreaming.cpp172 if(pac.message_size() > 10*1024*1024) {
280 if(pac.message_size() > 10*1024*1024) {
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/
H A Dunpack.hpp1113 std::size_t message_size() const;
1699 inline std::size_t unpacker::message_size() const function in class:msgpack::unpacker
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/
H A Dstream.cpp53 if(m_pac.message_size() > 10*1024*1024) {

Completed in 68 milliseconds