18 #ifdef POK_NEEDS_MIDDLEWARE
19 #if defined (POK_NEEDS_PORTS_QUEUEING) || defined (POK_NEEDS_PORTS_SAMPLING)
21 #include <middleware/queue.h>
23 extern pok_queue_t pok_queues[POK_CONFIG_NB_PARTITIONS];
24 extern char pok_queues_data[POK_CONFIG_NB_PARTITIONS][1024];
26 void pok_queue_init ()
30 for (i = 0 ; i < POK_CONFIG_NB_PARTITIONS ; i++)
32 pok_queues[i].size = 1024;
33 pok_queues[i].available_size = 1024;
34 pok_queues[i].data = pok_queues_data[i];