/l4re-core-master/l4sys/include/ |
A D | factory.h | 87 l4_factory_create_task(l4_cap_idx_t factory, 112 l4_factory_create_thread(l4_cap_idx_t factory, 177 l4_factory_create_gate(l4_cap_idx_t factory, 206 l4_factory_create_irq(l4_cap_idx_t factory, 231 l4_factory_create_vm(l4_cap_idx_t factory, 241 l4_factory_create_vm_u(l4_cap_idx_t factory, 347 l4_factory_create_vm_u(l4_cap_idx_t factory, in l4_factory_create_vm_u() argument 359 l4_factory_create_task(l4_cap_idx_t factory, in l4_factory_create_task() argument 381 l4_factory_create_gate(l4_cap_idx_t factory, in l4_factory_create_gate() argument 389 l4_factory_create_irq(l4_cap_idx_t factory, in l4_factory_create_irq() argument [all …]
|
A D | factory | 4 * Common factory related definitions. 27 #include <l4/sys/factory.h> 44 * \includefile{l4/sys/factory} 55 * Special type to add a void argument into the factory create stream. 254 * Generic create call to the factory. 266 * This method does not directly invoke the factory. The factory is invoked 292 * This method does not directly invoke the factory. The factory is invoked 304 * factory->create(ds) << l4_mword_t(size_in_bytes); 347 * Create a new factory. 351 * \param limit Limit for the new factory in bytes. [all …]
|
A D | Makefile | 5 EXTRA_TARGET += capability kip task factory irq icu thread vcon \
|
/l4re-core-master/l4sys/doc/ |
A D | factory.dox | 7 The kernel factory is a kernel object that provides the ability to create new 10 The kernel factory enforces a memory quota. This quota defines the maximum 11 amount of kernel memory the factory service can use to construct the requested 12 objects. When the quota is depleted, the factory refuses the creation of new 16 the amount of available kernel memory is the strict limit for the factory to 19 The kernel factory creates the following kinds of objects: 49 - Argument: factory quota (in bytes).
|
A D | files.cfg | 2 %PKGDIR%/doc/factory.dox \
|
A D | kernel-objects.dox | 18 * to the kernel factory's L4::Factory.create() call.
|
/l4re-core-master/ned/server/src/ |
A D | ned.lua | 103 f.factory = f.factory or Env.factory; 211 f.factory = f.factory or f.loader.factory or Env.factory; 301 return self.factory:create(Proto.Ipc_gate); 320 default_loader = Loader.new({factory = Env.factory, mem = Env.mem_alloc});
|
A D | app_model.cc | 137 _info.factory = _factory.fpage(); in init_prog() 161 App_model::get_task_caps(L4::Cap<L4::Factory> *factory, in get_task_caps() argument 170 *factory = L4::Cap<L4::Factory>(prog_info()->factory.raw & L4_FPAGE_ADDR_MASK); in get_task_caps()
|
A D | server.cc | 53 L4Re::Env::env()->factory()); in run()
|
A D | lua_env.cc | 43 register_cap(l, "factory", e->factory(), L4::Factory::Protocol); in init()
|
A D | lua_exec.cc | 257 prog_info()->factory = L4Re::Env::env()->factory().fpage(); in parse_cfg() 272 _cap_stack.push(_cfg_cap<void>("factory", &prog_info()->factory)); in parse_cfg()
|
/l4re-core-master/l4re/util/include/ |
A D | object_registry | 29 #include <l4/sys/factory> 80 _factory(L4Re::Env::env()->factory()), 89 * \param factory Capability to a factory object capable of creating new 94 L4::Cap<L4::Factory> factory) 95 : _server(server), _factory(factory), _sif(sif) 326 * \param factory Capability to factory object used to create new IPC gates. 332 L4::Cap<L4::Factory> factory) 333 : _registry(this, server, factory) 340 * \param factory Capability to factory object used to create new IPC gates. 343 L4::Cap<L4::Factory> factory) [all …]
|
/l4re-core-master/libloader/include/ |
A D | remote_app_model | 17 #include <l4/sys/factory> 89 env->factory(L4::Cap<L4::Factory>(Caps::Factory_cap << L4_CAP_SHIFT)); 138 L4::Cap<L4::Factory> factory; 140 this->get_task_caps(&factory, &ntask, &nthread); 142 chksys(factory->create_task(ntask, env->utcb_area())); 143 chksys(factory->create(nthread)); 147 chksys(ntask->map(L4Re::This_task, this->_info.factory, 148 env->factory().snd_base()));
|
/l4re-core-master/l4util/lib/src/ |
A D | llulc.cc | 41 L4::Cap<L4::Factory> factory; member 183 f = L4::Cap<L4::Factory>(t->factory); in create_new_thread_lock() 204 l4_cap_idx_t factory) in l4ullulock_init() argument 216 _t->factory = L4::Cap<L4::Factory>(factory); in l4ullulock_init()
|
A D | thread.c | 22 l4_cap_idx_t factory, in l4util_create_thread() argument 27 l4_msgtag_t res = l4_factory_create_thread(factory, id); in l4util_create_thread()
|
/l4re-core-master/moe/server/src/ |
A D | loader.cc | 212 _info.factory = L4Re::Env::env()->factory().fpage(); in init_prog() 222 Moe_app_model::get_task_caps(L4::Cap<L4::Factory> *factory, in get_task_caps() argument 235 *factory = L4Re::Env::env()->factory(); in get_task_caps()
|
A D | loader.h | 79 void get_task_caps(L4::Cap<L4::Factory> *factory,
|
/l4re-core-master/l4re_vfs/include/impl/ |
A D | ns_fs_impl.h | 43 Ref_ptr<L4Re::Vfs::File_factory> factory; in cap_to_vfs_object() local 46 factory = L4Re::Vfs::vfs_ops->get_file_factory(proto); in cap_to_vfs_object() 48 if (!factory) in cap_to_vfs_object() 49 factory = L4Re::Vfs::vfs_ops->get_file_factory(name.data); in cap_to_vfs_object() 51 if (!factory) in cap_to_vfs_object() 55 return factory->create(o); in cap_to_vfs_object()
|
/l4re-core-master/l4re/include/ |
A D | env | 69 * factory | L4::Factory | L4Re::Env::factory() 119 * Object-capability to the user-level object factory. 148 * Object-capability to the factory object available to the task. 151 L4::Cap<L4::Factory> factory() const noexcept 152 { return L4::Cap<L4::Factory>(_env.factory); } 253 * Set factory object-capability. 256 void factory(L4::Cap<L4::Factory> const &c) noexcept 257 { _env.factory = c.cap(); }
|
/l4re-core-master/libkproxy/include/ |
A D | factory_svr | 24 #include <l4/sys/factory.h> 63 Factory_svr(Factory_interface *factory, Cap_allocator_interface *capif) 64 : _factory(factory), _capif(capif) {}
|
/l4re-core-master/moe/doc/ |
A D | moe.dox | 21 * The factory in Moe is responsible for all kinds of dynamic object 24 * Moe's factory allows allocation of the following objects: 33 * \note L4::Scheduler objects can be only created through the user factory 34 * provided by Moe to the initial application. Other factory instances 83 * - The limit is deducted from the limit of the factory that creates 84 * the new factory
|
/l4re-core-master/ned/doc/ |
A D | ned.dox | 48 objects, such as the \c create operation on a generic factory 56 as \c factory, \c log, \c mem_alloc, \c parent, \c rm, and \c scheduler in 119 \li \c factory The factory used by the new process to create new kernel objects, 121 the L4::Factory protocol and defaults to the factory object provided to 126 \li \c rm_fab The generic factory object used to allocate the region-map 128 \li \c log_fab The generic factory to create the L4Re::Log object for the
|
/l4re-core-master/uclibc/lib/libpthread/src/ |
A D | l4.h | 9 return l4_error(L4Re::Env::env()->factory()->create(c)); in __alloc_thread_sem()
|
/l4re-core-master/l4util/include/ |
A D | llulc.h | 42 l4_cap_idx_t factory);
|
A D | thread.h | 48 l4_cap_idx_t factory,
|