00001 /*! \file include/kernel/semaphore.h 00002 * \brief Semaphore header. 00003 * \author Andrea Righi <drizzt@inwind.it> 00004 * \date Last update: 2003-11-05 00005 * \note Copyright (C) 2003 Andrea Righi 00006 */ 00007 00008 #ifndef SEMAPHORE_H 00009 #define SEMAPHORE_H 00010 00011 #include <const.h> 00012 #include <arch/i386.h> 00013 00014 //! The semaphore type structure. 00015 typedef atomic_t semaphore_t; 00016 00017 // --- Prototypes ----------------------------------------------------- // 00018 00019 void INIT_MUTEX(semaphore_t *sem); 00020 void DOWN(semaphore_t *sem); 00021 void UP(semaphore_t *sem); 00022 00023 #endif