28 #if defined(L4RE_STATIC_CAP_ALLOC) 32 namespace L4Re {
namespace Util {
34 typedef Cap_alloc_base _Cap_alloc;
41 namespace L4Re {
namespace Util {
43 typedef Counting_cap_alloc<L4Re::Util::Counter<unsigned char> > _Cap_alloc;
Reference-counting capability allocator.
Bitmap capability allocator.