17 #ifdef POK_NEEDS_PORTS_QUEUEING
31 extern pok_port_t pok_ports[POK_CONFIG_NB_PORTS];
54 if (
id > POK_CONFIG_NB_PORTS)
59 if (! pok_own_port (POK_SCHED_CURRENT_PARTITION,
id))
64 if (pok_ports[
id].ready !=
TRUE)
81 if (toclean > pok_ports[
id].size)
83 toclean = pok_ports[id].
size;
87 memset (data,
'\0', toclean);
96 timeout = timeout + POK_GETTICK();
105 while (pok_ports[
id].empty ==
TRUE)
123 clen = pok_port_consumed_size (
id);