31L4::BasicOStream &operator << (L4::BasicOStream &o,
l4_msgtag_t const &tag)
33 L4::IOBackend::Mode m = o.be_mode();
35 << tag.
items() <<
"]";
42L4::BasicOStream &operator << (L4::BasicOStream &o,
L4::Cap<T> const &cap)
44 o <<
"[C:" << L4::n_hex(cap.
cap()) <<
"]";
L4::Cap related definitions.
l4_cap_idx_t cap() const noexcept
Return capability selector.
C++ interface for capabilities.
Common L4 ABI Data Types.
IOModifier const dec
Modifies the stream to print numbers as decimal values.
Message tag data structure.
long label() const L4_NOTHROW
Get the protocol value.
unsigned words() const L4_NOTHROW
Get the number of untyped words.
unsigned items() const L4_NOTHROW
Get the number of typed items.