POK
/home/jaouen/pok_official/pok/trunk/libpok/middleware/portqueueingsend.c
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 #include <middleware/port.h>
00021 #include <core/syscall.h>
00022 #include <types.h>
00023 
00024 pok_ret_t pok_port_queueing_send (const pok_port_id_t id, 
00025                                   const void* data, 
00026                                   const pok_port_size_t len, 
00027                                   const uint64_t timeout)
00028 {
00029    return (pok_syscall4 (POK_SYSCALL_MIDDLEWARE_QUEUEING_SEND,
00030                          (uint32_t) id,
00031                          (uint32_t) data,
00032                          (uint32_t) len,
00033                          (uint32_t) timeout));
00034 }
00035 
00036 #endif