Lines Matching refs:Cap
4 * L4::Cap related definitions.
83 Cap_base::validate(Cap<Task> task, l4_utcb_t *u) const noexcept
109 * \retval Cap<T> Capability of target interface `T`.
119 * L4::Cap<L4::Kobject> obj = ... ;
120 * L4::Cap<L4::Icu> icu = L4::cap_dynamic_cast<L4::Icu>(obj);
125 Cap<T> cap_dynamic_cast(Cap<F> const &c) noexcept
128 return Cap<T>::Invalid;
130 Cap<Meta> mc = cap_reinterpret_cast<Meta>(c);
133 return Cap<T>(c.cap());
138 return Cap<T>(c.cap());
141 return Cap<T>::Invalid;