POK
portvirtualdestination.c
1 /*
2  * POK header
3  *
4  * The following file is a part of the POK project. Any modification should
5  * made according to the POK licence. You CANNOT use this file or a part of
6  * this file is this part of a file for your own project
7  *
8  * For more information on the POK licence, please see our LICENCE FILE
9  *
10  * Please follow the coding guidelines described in doc/CODING_GUIDELINES
11  *
12  * Copyright (c) 2007-2009 POK team
13  *
14  * Created by julien on Tue Sep 8 07:39:08 2009
15  */
16 
17 
18 #include <core/dependencies.h>
19 
20 #ifdef POK_NEEDS_PORTS_VIRTUAL
21 
22 #include <types.h>
23 #include <errno.h>
24 #include <libc/stdio.h>
25 #include <core/syscall.h>
26 #include <middleware/port.h>
27 
28 pok_ret_t pok_port_virtual_destination (const pok_port_id_t id, uint32_t n, uint32_t* result)
29 {
30  return (pok_syscall3 (POK_SYSCALL_MIDDLEWARE_VIRTUAL_DESTINATION, (uint32_t) id, (uint32_t) n , (uint32_t) result));
31 }
32 
33 #endif