22 namespace L4Re {
namespace Core {
40 virtual ~Default_cap_alloc() {}
42 void operator delete (
void *)
throw() {}
49 static Default_cap_alloc default_cap_alloc;
50 return &default_cap_alloc;
Capability allocator interface.
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.
unsigned long l4_umword_t
Unsigned machine word.
L4::Cap< void > alloc()
Allocated a new capability.
C++ interface for capabilities.