POK
semcreate.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 Thu Jan 15 23:34:13 2009
15  */
16 
17 #include <core/dependencies.h>
18 
19 #ifdef POK_NEEDS_SEMAPHORES
20 #include <types.h>
21 #include <errno.h>
22 #include <core/semaphore.h>
23 #include <core/lockobj.h>
24 #include <core/syscall.h>
25 
26 pok_ret_t pok_sem_create (pok_sem_id_t* id,
27  const pok_sem_value_t current_value,
28  const pok_sem_value_t max_value,
29  const pok_queueing_discipline_t discipline)
30 {
31  pok_lockobj_attr_t lockattr;
32  lockattr.initial_value = current_value;
33  lockattr.max_value = max_value;
34  lockattr.queueing_policy = discipline;
35  lockattr.kind = POK_LOCKOBJ_KIND_SEMAPHORE;
36 
37  return pok_syscall2 (POK_SYSCALL_LOCKOBJ_CREATE, (uint32_t)id, (uint32_t)&lockattr);
38 }
39 
40 #endif