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;