35 public Kobject_t<Thread_group, Snd_destination, L4_PROTO_THREAD_GROUP,
36 Type_info::Demand_t<1>>
54 {
return l4_thread_group_add_u(cap(), thread.
cap(), utcb); }
68 {
return l4_thread_group_remove_u(cap(), thread.
cap(), utcb); }
L4::Cap related definitions.
l4_cap_idx_t cap() const noexcept
Return capability selector.
C++ interface for capabilities.
Helper class to create an L4Re interface class that is derived from a single base class.
C++ L4 kernel thread group interface, see Thread groups for the C interface.
l4_msgtag_t add(Cap< Thread > thread, l4_utcb_t *utcb=l4_utcb()) noexcept
Add thread to a thread group.
l4_msgtag_t remove(Cap< Thread > thread, l4_utcb_t *utcb=l4_utcb()) noexcept
Remove thread from a thread group.
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.
#define L4_EXPORT
Attribute to mark functions, variables, and data types as being exported from a library.
L4 low-level kernel interface.
Message tag data structure.