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);