Searched refs:camkes_msgqueue_sender_t (Results 1 - 2 of 2) sorted by path

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dmsgqueue.h25 } camkes_msgqueue_sender_t; typedef in typeref:struct:camkes_msgqueue_sender
35 int camkes_msgqueue_sender_init(int msgqueue_id, camkes_msgqueue_sender_t *sender);
39 int camkes_msgqueue_send(camkes_msgqueue_sender_t *sender, void *message, size_t message_size);
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dmsgqueue.c29 int camkes_msgqueue_sender_init(int msgqueue_id, camkes_msgqueue_sender_t *sender)
96 static void *msgqueue_alloc_buffer(camkes_msgqueue_sender_t *sender)
122 int camkes_msgqueue_send(camkes_msgqueue_sender_t *sender, void *message, size_t message_size)

Completed in 57 milliseconds