56 typedef Typeid::Iface<L4_PROTO_META, Kobject> __Iface;
57 typedef Typeid::Iface_list<__Iface> __Iface_list;
65 struct __Kobject_typeid
105 {
return l4_kobject_dec_refcnt_u(cap(), diff, utcb); }
110 struct Kobject_0t :
Kobject_t<Derived, L4::Kobject, PROTO, S_DEMAND> {};
Default protocol used by Kobject_t and Kobject_x.
signed long l4_mword_t
Signed machine word.
Common L4 ABI Data Types.
L4 low-level kernel interface.
unsigned long l4_cap_idx_t
L4 Capability selector Type.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
l4_msgtag_t dec_refcnt(l4_mword_t diff, l4_utcb_t *utcb=l4_utcb())
Decrement the in kernel reference counter for the object.
Type information handling.
Base class for all kinds of kernel objects and remote objects, referenced by capabilities.
Dynamic Type Information for L4Re Interfaces.
Mask to get only the relevant bits of an l4_cap_idx_t.
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...
Kernel object system calls.
Message tag data structure.
Meta object for handling access to type information of Kobjects.