Home
last modified time | relevance | path

Searched refs:object_pool (Results 1 – 16 of 16) sorted by relevance

/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()
286 object_pool.life.push_front(_root_alloc); in root_allocator()
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.h127 extern Object_pool object_pool;
141 _o->set_server(&object_pool, cap, true);
A Dglobals.cc16 Object_pool __attribute__((init_priority(1401))) object_pool(&_cap_allocator); variable
A Dname_space.cc40 object_pool.cap_alloc()->free(cap()); in ~Entry()
68 auto *ef = static_cast<Moe::Server_object*>(object_pool.find(data)); in set_epiface()
84 auto nc = object_pool.cap_alloc()->alloc(); in set_cap_copy()
A Dglobals.h23 extern Object_pool object_pool;
A Ddma_space.cc169 object_pool.cap_alloc()->free(_dma_kern_space); in ~Task_mapper()
273 = dynamic_cast<Dataspace*>(object_pool.find(src_cap.data())); in _get_ds()
336 L4::Cap<L4::Task> nc = object_pool.cap_alloc()->alloc<L4::Task>(); in op_associate()
A Dmain.cc243 object_pool.cap_alloc()->alloc(kip_ds); in init_kip_ds()
249 L4::Cap<void> new_sigma0_cap = object_pool.cap_alloc()->alloc(); in new_sigma0_cap()
554 root_name_space_obj = object_pool.cap_alloc()->alloc(root_name_space()); in main()
558 object_pool.cap_alloc()->alloc(Allocator::root_allocator()); in main()
A Dregion.cc87 auto *moe_ds = dynamic_cast<Moe::Dataspace*>(object_pool.find(ds_cap.data())); in validate_ds()
A Ddataspace.cc105 src = dynamic_cast<Moe::Dataspace*>(object_pool.find(src_cap.data())); in op_copy_in()
A Dsched_proxy.cc192 L4::Cap<L4::Irq> irq = object_pool.cap_alloc()->alloc<L4::Irq>(); in Cpu_hotplug_server()

Completed in 17 milliseconds