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;