Convert local port to global ports

The association (conversion) between each local and global ports is given with the pok_local_ports_to_global_ports array. For each local port identifier, we specify the associated global port value.

An example is given below. Here, the first local port corresponds to the global port identifier node1_partition_secret_outgoing_global.

   uint8_t pok_local_ports_to_global_ports[POK_CONFIG_NB_PORTS] =
      {node1_partition_secret_outgoing_global,
       node1_partition_topsecret_outgoing_global,
       node1_partition_unclassified_outgoing_global};

When you use code generation, this declaration is automatically created in the deployment.c file.