POK(kernelpart)
|
00001 /* 00002 * POK header 00003 * 00004 * The following file is a part of the POK project. Any modification should 00005 * made according to the POK licence. You CANNOT use this file or a part of 00006 * this file is this part of a file for your own project 00007 * 00008 * For more information on the POK licence, please see our LICENCE FILE 00009 * 00010 * Please follow the coding guidelines described in doc/CODING_GUIDELINES 00011 * 00012 * Copyright (c) 2007-2009 POK team 00013 * 00014 * Created by julien on Tue Sep 8 07:39:08 2009 00015 */ 00016 00017 #ifdef POK_NEEDS_PORTS_VIRTUAL 00018 00019 #include <errno.h> 00020 #include <types.h> 00021 #include <core/sched.h> 00022 #include <core/lockobj.h> 00023 #include <middleware/port.h> 00024 #include <middleware/queue.h> 00025 #include <libc.h> 00026 00027 extern pok_port_t pok_ports[POK_CONFIG_NB_PORTS]; 00028 extern char* pok_ports_names[POK_CONFIG_NB_PORTS]; 00029 extern uint8_t pok_ports_kind[POK_CONFIG_NB_PORTS]; 00030 00031 pok_ret_t pok_port_virtual_id (char* name, 00032 pok_port_id_t* id) 00033 { 00034 uint8_t i; 00035 00036 for (i = 0; i < POK_CONFIG_NB_PORTS ; i++) 00037 { 00038 if ( (strcmp (name, pok_ports_names[i]) == 0) && (pok_ports_kind[i] == POK_PORT_KIND_VIRTUAL)) 00039 { 00040 if (! pok_own_port (POK_SCHED_CURRENT_PARTITION, i)) 00041 { 00042 return POK_ERRNO_PORT; 00043 } 00044 00045 *id = i; 00046 00047 return POK_ERRNO_OK; 00048 } 00049 00050 } 00051 00052 return POK_ERRNO_NOTFOUND; 00053 } 00054 00055 #endif