Home
last modified time | relevance | path

Searched refs:factory (Results 1 – 25 of 47) sorted by relevance

12

/l4re-core-master/l4sys/include/
A Dfactory.h87 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 Dfactory4 * 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 DMakefile5 EXTRA_TARGET += capability kip task factory irq icu thread vcon \
/l4re-core-master/l4sys/doc/
A Dfactory.dox7 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 Dfiles.cfg2 %PKGDIR%/doc/factory.dox \
A Dkernel-objects.dox18 * to the kernel factory's L4::Factory.create() call.
/l4re-core-master/ned/server/src/
A Dned.lua103 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 Dapp_model.cc137 _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 Dserver.cc53 L4Re::Env::env()->factory()); in run()
A Dlua_env.cc43 register_cap(l, "factory", e->factory(), L4::Factory::Protocol); in init()
A Dlua_exec.cc257 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 Dobject_registry29 #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 Dremote_app_model17 #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 Dllulc.cc41 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 Dthread.c22 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 Dloader.cc212 _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 Dloader.h79 void get_task_caps(L4::Cap<L4::Factory> *factory,
/l4re-core-master/l4re_vfs/include/impl/
A Dns_fs_impl.h43 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 Denv69 * 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 Dfactory_svr24 #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 Dmoe.dox21 * 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 Dned.dox48 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 Dl4.h9 return l4_error(L4Re::Env::env()->factory()->create(c)); in __alloc_thread_sem()
/l4re-core-master/l4util/include/
A Dllulc.h42 l4_cap_idx_t factory);
A Dthread.h48 l4_cap_idx_t factory,

Completed in 21 milliseconds

12