17 #ifdef POK_NEEDS_PORTS_VIRTUAL
27 extern pok_port_t pok_ports[POK_CONFIG_NB_PORTS];
28 extern char* pok_ports_names[POK_CONFIG_NB_PORTS];
29 extern uint8_t pok_ports_kind[POK_CONFIG_NB_PORTS];
31 pok_ret_t pok_port_virtual_id (
char* name,
36 for (i = 0; i < POK_CONFIG_NB_PORTS ; i++)
38 if ( (
strcmp (name, pok_ports_names[i]) == 0) && (pok_ports_kind[i] == POK_PORT_KIND_VIRTUAL))
40 if (! pok_own_port (POK_SCHED_CURRENT_PARTITION, i))