24 #ifdef POK_NEEDS_PORTS_SAMPLING
34 extern uint8_t pok_current_partition;
38 extern pok_port_t pok_ports[POK_CONFIG_NB_PORTS];
53 if (
id > POK_CONFIG_NB_PORTS)
58 if (! pok_own_port (POK_SCHED_CURRENT_PARTITION,
id))
63 if (pok_ports[
id].ready !=
TRUE)
68 if (len > pok_ports[
id].size)
80 pok_port_write (
id, data, len);