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 00018 #ifndef __POK_KERNEL_SEMAPHORE_H__ 00019 #define __POK_KERNEL_SEMAPHORE_H__ 00020 00021 #include <core/dependencies.h> 00022 00023 #ifdef POK_NEEDS_SEMAPHORES 00024 00025 #include <types.h> 00026 #include <errno.h> 00027 00028 00029 #define POK_SEMAPHORE_DISCIPLINE_FIFO 1 00030 00031 00032 pok_ret_t pok_sem_create (pok_sem_id_t* id, 00033 const pok_sem_value_t current_value, 00034 const pok_sem_value_t max_value, 00035 const pok_queueing_discipline_t discipline); 00036 00037 pok_ret_t pok_sem_wait (pok_sem_id_t id, 00038 uint64_t timeout); 00039 00040 pok_ret_t pok_sem_signal (pok_sem_id_t id); 00041 00042 pok_ret_t pok_sem_id (char* name, 00043 pok_sem_id_t* id); 00044 00045 pok_ret_t pok_sem_status (pok_sem_id_t id, 00046 pok_sem_status_t* status); 00047 00048 00049 #endif 00050 00051 #endif