26 #include <l4/sys/semaphore.h> 86 {
return l4_semaphore_down_u(
cap(), timeout, utcb); }
Kernel-provided semaphore object.
L4 low-level kernel interface.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
#define L4_IPC_NEVER
never timeout
l4_msgtag_t up(l4_utcb_t *utcb=l4_utcb())
Semaphore up operation (wrapper for trigger()).
l4_msgtag_t trigger(l4_utcb_t *utcb=l4_utcb())
Trigger.
l4_msgtag_t down(l4_timeout_t timeout=L4_IPC_NEVER, l4_utcb_t *utcb=l4_utcb())
Semaphore down operation.
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
l4_cap_idx_t cap() const
Return capability selector.
Helper class to create an L4Re interface class that is derived from a single base class...
Message tag data structure.