POK
|
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 #include <core/dependencies.h> 00018 00019 #ifdef POK_NEEDS_PORTS_QUEUEING 00020 00021 #include <types.h> 00022 #include <core/syscall.h> 00023 #include <middleware/port.h> 00024 00025 pok_ret_t pok_port_queueing_create (char* name, 00026 const pok_port_size_t size, 00027 const pok_port_direction_t direction, 00028 const pok_port_queueing_discipline_t discipline, 00029 pok_port_id_t* id) 00030 { 00031 return (pok_syscall5 (POK_SYSCALL_MIDDLEWARE_QUEUEING_CREATE, 00032 (uint32_t) name, 00033 (uint32_t) size, 00034 (uint32_t) direction, 00035 (uint32_t) discipline, 00036 (uint32_t) id)); 00037 } 00038 00039 #endif