Home
last modified time | relevance | path

Searched refs:cap_alloc (Results 1 – 25 of 44) sorted by relevance

12

/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()
A DMakefile5 SRC_CC := cap_alloc.cc video/goos_fb.cc kumem_alloc.cc
/l4re-core-master/moe/server/src/
A Dapp_task.cc26 object_pool.cap_alloc()->free(obj_cap()); in op_signal()
44 auto c = object_pool.cap_alloc()->alloc(_rm.get()); in App_task()
53 object_pool.cap_alloc()->free(_thread); in ~App_task()
54 object_pool.cap_alloc()->free(_task); in ~App_task()
A Dserver_obj.cc11 object_pool.cap_alloc()->free(_weak_cap); in ~Server_object()
15 object_pool.cap_alloc()->free(obj_cap(), L4_FP_ALL_SPACES | L4_FP_DELETE_OBJ); in ~Server_object()
31 _weak_cap = object_pool.cap_alloc()->alloc<L4::Kobject>(); in add_weak_ref()
47 object_pool.cap_alloc()->free(_weak_cap); in remove_weak_ref()
A Dalloc.cc120 ko = object_pool.cap_alloc()->alloc(o.get()); in op_create()
130 ko = object_pool.cap_alloc()->alloc(o.get()); in op_create()
146 ko = object_pool.cap_alloc()->alloc(o.get()); in op_create()
175 ko = object_pool.cap_alloc()->alloc(l.get()); in op_create()
209 ko = object_pool.cap_alloc()->alloc(o.get()); in op_create()
231 ko = object_pool.cap_alloc()->alloc(mo.get()); in op_create()
242 ko = object_pool.cap_alloc()->alloc(o.get()); in op_create()
A Dboot_fs.cc146 object_pool.cap_alloc()->alloc(ds); in create_ds_and_register()
160 L4::Cap<void> rom_ns_cap = object_pool.cap_alloc()->alloc(rom_ns); in init_stage2()
165 L4::Cap<void> rwfs_ns_cap = object_pool.cap_alloc()->alloc(rwfs_ns); in init_stage2()
209 object = object_pool.cap_alloc()->alloc(rf); in init_stage2()
A Dsched_proxy.h32 { return object_pool.cap_alloc()->alloc<L4::Irq>(); } in alloc_irq_cap()
35 { object_pool.cap_alloc()->free(cap); } in free_irq_cap()
A Dvesa_fb.cc102 _fb_ds = L4::cap_cast<L4Re::Dataspace>(object_pool.cap_alloc()->alloc(fb)); in Vesa_fb()
104 object_pool.cap_alloc()->alloc(this); in Vesa_fb()
A Dloader.cc226 object_pool.cap_alloc()->alloc(_task); in get_task_caps()
227 _task->task_cap(object_pool.cap_alloc()->alloc<L4::Task>()); in get_task_caps()
228 _task->thread_cap(object_pool.cap_alloc()->alloc<L4::Thread>()); in get_task_caps()
A Dobj_reg.h49 Cap_alloc *cap_alloc() const { return _cap_alloc; }
164 auto c = early_chkcap(cap_alloc()->alloc<L4::Irq>(),
/l4re-core-master/libkproxy/lib/src/
A Dfactory_svr.cc36 L4::Cap<L4::Factory> f = svr->cap_alloc<L4::Factory>(); in handle_factory()
50 L4::Cap<L4::Task> t = svr->cap_alloc<L4::Task>(); in handle_task()
63 L4::Cap<L4::Thread> t = svr->cap_alloc<L4::Thread>(); in handle_thread()
77 L4::Cap<void> g = svr->cap_alloc<void>(); in handle_gate()
93 L4::Cap<L4::Irq> i = svr->cap_alloc<L4::Irq>(); in handle_irq()
105 L4::Cap<L4::Vm> i = svr->cap_alloc<L4::Vm>(); in handle_vm()
/l4re-core-master/ned/server/src/
A Dapp_task.cc16 using L4Re::Util::cap_alloc;
74 _task(chkcap(cap_alloc.alloc<L4::Task>(), "allocating task cap")), in App_task()
75 _thread(chkcap(cap_alloc.alloc<L4::Thread>(), "allocating thread cap")), in App_task()
76 _rm(chkcap(cap_alloc.alloc<L4Re::Rm>(), "allocating region-map cap")), in App_task()
/l4re-core-master/l4re/util/include/
A Dcap_alloc53 extern _Cap_alloc &cap_alloc;
69 cap_alloc.free(L4::Cap<void>(c.cap()), This_task, Unmap_flags);
110 if (cap_alloc.release(L4::Cap<void>(c.cap()), This_task, Unmap_flags))
129 cap_alloc.take(L4::Cap<void>(src.cap()));
151 * ds_cap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>());
189 * ds_cap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>());
218 make_ref_cap() { return typename Ref_cap<T>::Cap(cap_alloc.alloc<T>()); }
228 { return typename Ref_del_cap<T>::Cap(cap_alloc.alloc<T>()); }
A Denv_ns5 #include <l4/re/cap_alloc>
6 #include <l4/re/util/cap_alloc>
21 L4Re::Cap_alloc *ca = L4Re::Cap_alloc::get_cap_alloc(L4Re::Util::cap_alloc))
A Dbr_manager21 #include <l4/re/util/cap_alloc>
56 cap_alloc.free(L4::Cap<void>(_brs[i] & L4_CAP_MASK));
80 L4::Cap<void> cap = cap_alloc.alloc();
110 L4::Cap<void> cap = cap_alloc.alloc();
A Devent25 #include <l4/re/cap_alloc>
26 #include <l4/re/util/cap_alloc>
72 L4Re::Cap_alloc *ca = L4Re::Cap_alloc::get_cap_alloc(L4Re::Util::cap_alloc))
125 L4Re::Cap_alloc *ca = L4Re::Cap_alloc::get_cap_alloc(L4Re::Util::cap_alloc))
A Dunique_cap25 #include <l4/re/util/cap_alloc>
67 { return Unique_cap<T>(cap_alloc.alloc<T>()); }
110 { return Unique_del_cap<T>(cap_alloc.alloc<T>()); }
A Dshared_cap25 #include <l4/re/util/cap_alloc>
72 { return Shared_cap<T>(cap_alloc.alloc<T>()); }
122 { return Shared_del_cap<T>(cap_alloc.alloc<T>()); }
/l4re-core-master/l4util/lib/src/
A Dllulc.cc39 l4_cap_idx_t (*cap_alloc)(void); member
179 L4::Cap<L4::Semaphore> c = L4::Cap<L4::Semaphore>(t->cap_alloc()); in create_new_thread_lock()
202 l4_cap_idx_t (*cap_alloc)(void), in l4ullulock_init()
214 _t->cap_alloc = cap_alloc; in l4ullulock_init()
/l4re-core-master/l4re_kernel/server/src/
A Dloader.cc69 Global::cap_alloc->free(__loader_stack); in unmap_stack_and_start()
78 Dataspace mem = chkcap(Global::cap_alloc->alloc<L4Re::Dataspace>(), in alloc_ds()
88 L4Re::Util::Env_ns ens(L4Re::Env::env(), L4Re::Cap_alloc::get_cap_alloc(*Global::cap_alloc)); in open_file()
153 = chkcap(Global::cap_alloc->alloc<L4Re::Dataspace>(), in alloc_app_stack()
242 __loader_stack = Global::cap_alloc->alloc<Dataspace>(); in start()
301 __loader_entry.pager = Global::cap_alloc.alloc<Rm>(); in start()
A Dglobals.cc21 cxx::Static_container<Cap_alloc> cap_alloc; variable
45 cap_alloc.construct(env->first_free_cap()); in init()
/l4re-core-master/libkproxy/include/
A Dfactory_svr33 virtual L4::Cap<void> cap_alloc() = 0;
71 L4::Cap<CT> cap_alloc()
72 { return L4::cap_cast<CT>(_capif->cap_alloc()); }
75 void cap_alloc(L4::Cap<CT> x)
/l4re-core-master/l4re/util/libs/
A Dgoos_fb.cc51 _buffer = chkcap(cap_alloc.alloc<L4Re::Dataspace>(), in init()
133 cap_alloc.free(_buffer); in ~Goos_fb()
136 cap_alloc.free(_goos); in ~Goos_fb()
A DMakefile5 SRC_CC := cap_alloc.cc debug.cc name_space_svr.cc dataspace_svr.cc \
/l4re-core-master/l4re_vfs/lib/src/
A Dvfs.cc28 using L4Re::Util::cap_alloc;

Completed in 21 milliseconds

12