18 #ifdef POK_NEEDS_PORTS_SAMPLING 
   24 #ifndef POK_GENERATED_CODE 
   32 extern pok_port_t pok_ports[POK_CONFIG_NB_PORTS];
 
   35                                     pok_port_sampling_status_t* status)
 
   37    if (
id > POK_CONFIG_NB_PORTS)
 
   42    if (! pok_own_port (POK_SCHED_CURRENT_PARTITION, 
id))
 
   47    if (pok_ports[
id].ready == 
FALSE)
 
   57    if (pok_ports[
id].partition != POK_SCHED_CURRENT_PARTITION)
 
   62    status->size      = pok_ports[id].
size;
 
   63    status->direction = pok_ports[id].
direction;
 
   64    status->refresh   = pok_ports[id].
refresh; 
 
   66    if ( (pok_ports[
id].last_receive + pok_ports[
id].refresh) < POK_GETTICK())
 
   68       status->validity = 
FALSE;
 
   72       status->validity = 
TRUE;