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 #if (defined (POK_NEEDS_PORTS_QUEUEING)) && (! defined (POK_GENERATED_CODE)) 00019 00020 #include <errno.h> 00021 #include <types.h> 00022 #include <core/sched.h> 00023 #include <middleware/port.h> 00024 00025 extern pok_port_t pok_ports[POK_CONFIG_NB_PORTS]; 00026 00027 pok_ret_t pok_port_queueing_status (const pok_port_id_t id, 00028 pok_port_queueing_status_t* status) 00029 { 00030 if (id > POK_CONFIG_NB_PORTS) 00031 { 00032 return POK_ERRNO_EINVAL; 00033 } 00034 00035 if (! pok_own_port (POK_SCHED_CURRENT_PARTITION, id)) 00036 { 00037 return POK_ERRNO_PORT; 00038 } 00039 00040 if (pok_ports[id].ready == FALSE) 00041 { 00042 return POK_ERRNO_EINVAL; 00043 } 00044 00045 if (pok_ports[id].kind != POK_PORT_KIND_QUEUEING) 00046 { 00047 return POK_ERRNO_EINVAL; 00048 } 00049 00050 if (pok_ports[id].partition != POK_SCHED_CURRENT_PARTITION) 00051 { 00052 return POK_ERRNO_EINVAL; 00053 } 00054 00055 status->size = pok_ports[id].size; 00056 status->direction = pok_ports[id].direction; 00057 status->waiting_processes = 0; 00058 00059 return POK_ERRNO_OK; 00060 } 00061 00062 #endif