18 #if (defined (POK_NEEDS_PORTS_QUEUEING)) && (! defined (POK_GENERATED_CODE)) 
   25 extern pok_port_t pok_ports[POK_CONFIG_NB_PORTS];
 
   28                                     pok_port_queueing_status_t* status)
 
   30    if (
id > POK_CONFIG_NB_PORTS)
 
   35    if (! pok_own_port (POK_SCHED_CURRENT_PARTITION, 
id))
 
   40    if (pok_ports[
id].ready == 
FALSE)
 
   50    if (pok_ports[
id].partition != POK_SCHED_CURRENT_PARTITION)
 
   55    status->size               = pok_ports[id].
size;
 
   56    status->direction          = pok_ports[id].
direction;
 
   57    status->waiting_processes  = 0;