18 #ifdef POK_NEEDS_MIDDLEWARE
19 #ifdef POK_NEEDS_BUFFERS
21 #include <middleware/buffer.h>
24 #include <libc/string.h>
28 pok_ret_t pok_buffer_status (
const pok_buffer_id_t
id,
31 if (
id > POK_CONFIG_NB_BUFFERS)
33 return POK_ERRNO_EINVAL;
37 status->nb_messages = 0;
38 status->max_messages = pok_buffers[id].size / pok_buffers[id].msgsize;
39 status->message_size = pok_buffers[id].msgsize;
40 status->waiting_processes = 0;