portvirtualdestination.c

Go to the documentation of this file.

/*
 *                               POK header
 * 
 * The following file is a part of the POK project. Any modification should
 * made according to the POK licence. You CANNOT use this file or a part of
 * this file is this part of a file for your own project
 *
 * For more information on the POK licence, please see our LICENCE FILE
 *
 * Please follow the coding guidelines described in doc/CODING_GUIDELINES
 *
 *                                      Copyright (c) 2007-2009 POK team 
 *
 * Created by julien on Tue Sep  8 07:39:08 2009 
 */

#ifdef POK_NEEDS_PORTS_VIRTUAL

#include <errno.h>
#include <types.h>
#include <core/sched.h>
#include <core/lockobj.h>
#include <middleware/port.h>
#include <middleware/queue.h>
#include <libc.h>

extern uint8_t          pok_ports_nb_destinations[POK_CONFIG_NB_PORTS];              
extern uint8_t          pok_ports_nb_ports_by_partition[POK_CONFIG_NB_PARTITIONS];   
extern uint8_t*         pok_ports_destinations[POK_CONFIG_NB_PORTS];                 
extern uint8_t          pok_ports_kind[POK_CONFIG_NB_PORTS];

pok_ret_t pok_port_virtual_destination (const pok_port_id_t id, const uint32_t n, uint32_t* result)
{
   uint32_t val;

   if (id >= POK_CONFIG_NB_PORTS)
   {
      return POK_ERRNO_PORT;
   }

   if (! pok_own_port (POK_SCHED_CURRENT_PARTITION, id))
   {
      return POK_ERRNO_PORT;
   }

   if (pok_ports_kind[id] != POK_PORT_KIND_VIRTUAL)
   {
      return POK_ERRNO_PORT;
   }

   if (n > pok_ports_nb_destinations[id])
   {
      return POK_ERRNO_PORT;
   }

   val = (uint32_t) pok_ports_destinations[id][n];
   *result = val;

   return POK_ERRNO_OK;
}

#endif