L4Re Operating System Framework
Interface and Usage Documentation
|
C semaphore interface. More...
#include <l4/sys/irq.h>
Go to the source code of this file.
Functions | |
l4_msgtag_t | l4_semaphore_up (l4_cap_idx_t sem) L4_NOTHROW |
Semaphore up operation (wrapper for trigger()). | |
l4_msgtag_t | l4_semaphore_down (l4_cap_idx_t sem, l4_timeout_t timeout) L4_NOTHROW |
Semaphore down operation. | |
C semaphore interface.
Definition in file semaphore.h.