Home
last modified time | relevance | path

Searched refs:Util (Results 1 – 25 of 74) sorted by relevance

123

/l4re-core-master/l4re_c/util/lib/
A Dcap_alloc.cc24 return L4Re::Util::cap_alloc.alloc<void>().cap(); in l4re_util_cap_alloc()
29 L4Re::Util::cap_alloc.free(L4::Cap<void>(cap)); in l4re_util_cap_free()
34 L4Re::Util::cap_alloc.free(L4::Cap<void>(cap), L4Re::This_task); in l4re_util_cap_free_um()
40 return L4Re::Util::cap_alloc.last(); in l4re_util_cap_last()
/l4re-core-master/l4re_kernel/server/src/
A Ddebug.h13 class Err : public L4Re::Util::Err
17 Err(Level l = Normal) : L4Re::Util::Err(l, "L4Re") {}
20 class Dbg : public L4Re::Util::Dbg
37 : L4Re::Util::Dbg(mask, "L4Re", subs)
A Dregion.h24 typedef L4Re::Util::Region_handler<L4::Cap<L4Re::Dataspace>, Region_ops> Region_handler;
31 L4Re::Util::Region const &r, bool writable,
39 : public L4Re::Util::Region_map<Region_handler, cxx::New_allocator>,
40 public L4Re::Util::Rm_server<Region_map, Dbg>
43 typedef L4Re::Util::Region_map<Region_handler, cxx::New_allocator> Base;
/l4re-core-master/moe/server/src/
A Dregion.h25 typedef L4Re::Util::Region_handler<cxx::Weak_ref<Moe::Dataspace const>,
33 L4Re::Util::Region const &r, bool writable,
39 : public L4Re::Util::Region_map<Region_handler, Moe::Quota_allocator>,
41 public L4Re::Util::Rm_server<Region_map, Dbg>,
45 typedef L4Re::Util::Region_map<Region_handler, Moe::Quota_allocator> Base;
A Ddebug.h14 class Err : public L4Re::Util::Err
18 Err(Level l = Normal) : L4Re::Util::Err(l, "MOE") {}
21 class Dbg : public L4Re::Util::Dbg
44 : L4Re::Util::Dbg(mask, "MOE", subs)
A Dsched_proxy.h21 public L4Re::Util::Icu_cap_array_svr<Sched_proxy>,
24 typedef L4Re::Util::Icu_cap_array_svr<Sched_proxy> Icu;
27 using L4Re::Util::Icu_cap_array_svr<Sched_proxy>::op_info;
/l4re-core-master/ned/server/src/
A Ddebug.h14 class Err : public L4Re::Util::Err
18 Err(Level l = Normal) : L4Re::Util::Err(l, "Ned") {}
21 class Dbg : public L4Re::Util::Dbg
39 : L4Re::Util::Dbg(mask, "Ned", subs)
A Dapp_task.h37 template<typename T> using Unique_del_cap = L4Re::Util::Unique_del_cap<T>;
38 template<typename T> using Unique_cap = L4Re::Util::Unique_cap<T>;
62 App_task(Ned::Registry *r, L4Re::Util::Ref_cap<L4::Factory>::Cap const &alloc);
A Dserver.h22 class Registry : public L4Re::Util::Object_registry
27 : L4Re::Util::Object_registry(sif, t, f) {} in Registry()
A Dremote_mem.h22 L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap _stack_ds;
46 void set_stack(L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap const &ds, unsigned size);
A Dlua_exec.cc76 L4Re::Util::Ref_cap<void>::Cap _c[NUM];
79 void push(L4Re::Util::Ref_cap<void>::Cap c) in push()
94 L4Re::Util::Ref_cap<L4::Factory>::Cap _rm_fab;
114 typename L4Re::Util::Ref_cap<CT>::Cap
117 typedef typename L4Re::Util::Ref_cap<CT>::Cap R_cap; in _cfg_cap()
252 L4Re::Util::Ref_cap<L4::Factory>::Cap user_factory in parse_cfg()
282 L4Re::Util::Ref_cap<L4::Factory>::Cap rm_fab() const { return _rm_fab; } in rm_fab()
A Dapp_model.cc21 Dataspace mem = chkcap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>(), in alloc_ds()
31 L4Re::Util::Env_ns ens; in open_file()
114 L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap stack in alloc_app_stack()
115 = chkcap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>(), in alloc_app_stack()
A Dlua.cc166 L4Re::Util::Registry_server<L4Re::Util::Br_manager_timeout_hooks> server; in __server_loop()
286 L4Re::Util::Registry_server<L4Re::Util::Br_manager_timeout_hooks> server; in lua()
A Dapp_model.h43 typedef L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap Const_dataspace;
44 typedef L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap Dataspace;
45 typedef L4Re::Util::Ref_cap<L4Re::Rm>::Cap Rm;
A Dapp_task.cc16 using L4Re::Util::cap_alloc;
72 L4Re::Util::Ref_cap<L4::Factory>::Cap const &alloc) in App_task()
/l4re-core-master/l4re/util/include/
A Dcap_alloc_impl.h32 namespace L4Re { namespace Util {
41 namespace L4Re { namespace Util {
43 typedef Counting_cap_alloc<L4Re::Util::Counter<unsigned char> > _Cap_alloc;
A Dmeta8 namespace L4Re { namespace Util {
9 using L4::Util::handle_meta_request;
A Dshared_cap28 namespace L4Re { namespace Util {
42 * L4Re::Util::Shared_cap<L4Re::Dataspace> global_ds_cap;
45 * L4Re::Util::Shared_cap<L4Re::Dataspace>
89 * L4Re::Util::Shared_del_cap<L4Re::Dataspace> global_ds_cap;
92 * L4Re::Util::Shared_del_cap<L4Re::Dataspace>
124 }} // namespace L4Re::Util
A Dcap_alloc33 namespace L4Re { namespace Util {
147 * L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap global_ds_cap;
150 * L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap
151 * ds_cap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>());
185 * L4Re::Util::Ref_del_cap<L4Re::Dataspace>::Cap global_ds_cap;
188 * L4Re::Util::Ref_del_cap<L4Re::Dataspace>::Cap
189 * ds_cap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>());
A Dunique_cap28 namespace L4Re { namespace Util {
41 * L4Re::Util::Unique_cap<L4Re::Dataspace>
42 * ds_cap = L4Re::Util::make_unique_cap<L4Re::Dataspace>();
82 * L4Re::Util::Unique_del_cap<L4Re::Dataspace>
/l4re-core-master/l4re/util/libs/
A Dcap_alloc.cc34 L4Re::Cap_alloc_t<L4Re::Util::Cap_alloc<4096> >
46 struct Ca : L4Re::Cap_alloc_t<L4Re::Util::_Cap_alloc>
49 typedef L4Re::Util::_Cap_alloc::Counter_storage<Caps> Storage;
71 namespace Util { namespace
/l4re-core-master/l4re/doc/
A Dl4re.dox8 * \defgroup api_l4re_util L4Re Util C++ Interface
21 namespace Util {}
/l4re-core-master/l4re/include/
A Dunique_cap39 * allocator; otherwise use L4Re::Util::Unique_cap.
54 * allocator; otherwise use L4Re::Util::make_unique_cap<T>().
72 * allocator; otherwise use L4Re::Util::Unique_del_cap.
87 * allocator; otherwise use L4Re::Util::make_unique_del_cap<T>().
A Dshared_cap41 * allocator; otherwise use L4Re::Util::Shared_cap.
56 * allocator; otherwise use L4Re::Util::make_shared_cap<T>().
77 * allocator; otherwise use L4Re::Util::Shared_del_cap.
92 * allocator; otherwise use L4Re::Util::make_shared_del_cap<T>().
/l4re-core-master/uclibc/lib/libpthread/src/
A Dmanager.cc373 L4Re::Util::cap_alloc.free(ds, L4Re::This_task); in pthread_l4_free_stack()
472 L4::Cap<L4Re::Dataspace> ds = L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>(); in pthread_allocate_stack()
480 L4Re::Util::cap_alloc.free(ds); in pthread_allocate_stack()
492 L4Re::Util::cap_alloc.free(ds, L4Re::This_task); in pthread_allocate_stack()
533 auto _t = L4Re::Util::make_unique_cap<L4::Thread>(); in __pthread_mgr_create_thread()
537 auto th_sem = L4Re::Util::make_unique_cap<Th_sem_cap>(); in __pthread_mgr_create_thread()
881 L4Re::Util::Unique_del_cap<void> s(L4::Cap<void>(th->p_thsem_cap)); in pthread_free()
882 L4Re::Util::Unique_del_cap<void> t(L4::Cap<void>(th->p_th_cap)); in pthread_free()

Completed in 50 milliseconds

123