28#if defined(L4RE_STATIC_CAP_ALLOC)
32namespace L4Re {
namespace Util {
34typedef Cap_alloc_base _Cap_alloc;
41namespace L4Re {
namespace Util {
43#if defined(__GCC_HAVE_SYNC_COMPARE_AND_SWAP_1) || defined(ARCH_arm)
44typedef Counting_cap_alloc<L4Re::Util::Counter_atomic<unsigned char> > _Cap_alloc;
45#elif defined(ARCH_sparc)
46typedef Counting_cap_alloc<L4Re::Util::Counter<unsigned char> > _Cap_alloc;
47#warning "Thread-safe capability allocator not available!"
49#error "Unsupported platform"
Bitmap capability allocator.
Reference-counting capability allocator.