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))