25 namespace L4Re {
namespace Core {
l4_msgtag_t validate(l4_utcb_t *u=l4_utcb()) const
Check whether a capability is present (refers to an object).
L4::Cap related definitions.
long label() const
Get the protocol value.
bool free(L4::Cap< void > cap, l4_cap_idx_t task=L4_INVALID_CAP, unsigned unmap_flags=L4_FP_ALL_SPACES)
Free the capability.
_Cap_alloc & cap_alloc
Capability allocator.