28 #include <l4/sys/consts.h> 30 #include <l4/sys/kobject> 60 #if __cplusplus >= 201103L 61 # define L4_DISABLE_COPY(_class) \ 63 _class(_class const &) = delete; \ 64 _class operator = (_class const &) = delete; \ 67 # define L4_DISABLE_COPY(_class) \ 69 _class(_class const &); \ 70 _class operator = (_class const &); 74 #define L4_KOBJECT_DISABLE_COPY(_class) \ 77 L4_DISABLE_COPY(_class) 80 #define L4_KOBJECT(_class) L4_KOBJECT_DISABLE_COPY(_class) 85 return is_valid() ? l4_task_cap_valid_u(task.cap(), _c, u)
123 template<
typename T,
typename F >
131 Type_info const *m = kobject_typeid<T>();
l4_msgtag_t validate(l4_utcb_t *u=l4_utcb()) const
Check whether a capability is present (refers to an object).
Common L4 ABI Data Types.
L4 low-level kernel interface.
Capability selector for the current task.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
Cap< T > cap_reinterpret_cast(Cap< F > const &c)
reinterpret_cast for capabilities.
Dynamic Type Information for L4Re Interfaces.
Common task related definitions.
l4_msgtag_t l4_msgtag(long label, unsigned words, unsigned items, unsigned flags) L4_NOTHROW
Create a message tag from the specified values.
long l4_error(l4_msgtag_t tag) L4_NOTHROW
Return error code of a system call return message tag.
Cap< T > cap_dynamic_cast(Cap< F > const &c)
dynamic_cast for capabilities.
C++ interface for capabilities.
Message tag data structure.