18 #ifdef POK_NEEDS_MIDDLEWARE
19 #ifdef POK_NEEDS_BUFFERS
21 #include <middleware/buffer.h>
24 #include <libc/string.h>
27 extern char* pok_buffers_names[POK_CONFIG_NB_BUFFERS];
29 pok_ret_t pok_buffer_id (
char* name,
34 for (n=0 ; n < POK_CONFIG_NB_BUFFERS ; n++)
36 if (streq (name, pok_buffers_names[n]))
44 return POK_ERRNO_EINVAL;