92 {
return l4_semaphore_down_u(cap(), timeout, utcb); }
Helper class to create an L4Re interface class that is derived from a single base class.
#define L4_IPC_NEVER
never timeout
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
L4 low-level kernel interface.
C++ Kernel-provided semaphore interface, see Kernel-provided semaphore for the C interface.
l4_msgtag_t up(l4_utcb_t *utcb=l4_utcb()) noexcept
Semaphore up operation (wrapper for trigger()).
l4_msgtag_t down(l4_timeout_t timeout=L4_IPC_NEVER, l4_utcb_t *utcb=l4_utcb()) noexcept
Semaphore down operation.
l4_msgtag_t trigger(l4_utcb_t *utcb=l4_utcb()) noexcept
Trigger the object.
Message tag data structure.