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 Thu Jan 15 23:34:13 2009 00015 */ 00016 00017 00018 #ifdef POK_NEEDS_PORTS_SAMPLING 00019 #include <types.h> 00020 #include <libc.h> 00021 #include <core/sched.h> 00022 #include <middleware/port.h> 00023 00024 extern char* pok_ports_names[POK_CONFIG_NB_PORTS]; 00025 extern uint8_t pok_ports_kind[POK_CONFIG_NB_PORTS]; 00026 00027 pok_ret_t pok_port_sampling_id (char* name, pok_port_id_t* id) 00028 { 00029 uint8_t i; 00030 00031 for (i = 0; i < POK_CONFIG_NB_PORTS ; i++) 00032 { 00033 if ( (strcmp (name, pok_ports_names[i]) == 0) && (pok_ports_kind[i] == POK_PORT_KIND_SAMPLING)) 00034 { 00035 if (! pok_own_port (POK_SCHED_CURRENT_PARTITION, i)) 00036 { 00037 return POK_ERRNO_PORT; 00038 } 00039 00040 *id = i; 00041 00042 return POK_ERRNO_OK; 00043 } 00044 } 00045 return POK_ERRNO_NOTFOUND; 00046 } 00047 00048 #endif