Home
last modified time | relevance | path

Searched refs:registry (Results 1 – 8 of 8) sorted by relevance

/l4re-core-master/l4re/util/include/
A Dobject_registry39 * A registry that manages server objects and their attached IPC gates for
47 * The object registry is also able to manage IRQ endpoints. They require a
73 * Create a registry for the main thread of the task using the default factory.
85 * Create a registry for arbitrary threads.
219 * The IPC gate will be allocated using the registry's factory. The
235 * The IRQ will be newly allocated using the registry's factory object. The
347 /** Return registry of this server loop. */
348 Object_registry const *registry() const { return &_registry; }
349 /** Return registry of this server loop. */
350 Object_registry *registry() { return &_registry; }
/l4re-core-master/l4sys/include/cxx/
A Dipc_server_loop133 * a registry \a R.
134 * \tparam R Data type of the registry that is used for dispatching to
141 /// stores a reference to the registry object
154 * a registry \a R.
155 * \tparam R Data type of the registry that is used for dispatching to
162 /// stores a pointer to the registry object
176 * \tparam R Data type of the registry used for dispatching to objects.
A Dipc_epiface69 * server implementation or the registry implementation calls this function
326 * An object registry allows to register L4::Epiface objects at a server
533 * \brief This registry returns the corresponding server object
/l4re-core-master/lua/lib/contrib/src/
A Dlstate.c218 Table *registry = luaH_new(L); in init_registry() local
219 sethvalue(L, &g->l_registry, registry); in init_registry()
220 luaH_resize(L, registry, LUA_RIDX_LAST, 0); in init_registry()
222 setthvalue(L, &registry->array[LUA_RIDX_MAINTHREAD - 1], L); in init_registry()
224 sethvalue(L, &registry->array[LUA_RIDX_GLOBALS - 1], luaH_new(L)); in init_registry()
/l4re-core-master/ned/server/src/
A Dserver.h46 Registry *registry() { return _r; } in registry() function
A Dlua.cc169 L4Re::chkcap(server.registry()->register_obj(&cmd_dispatch, in __server_loop()
289 server.registry()->register_obj(&cmd_dispatch, cmd_client); in lua()
A Dlua_exec.cc471 App_ptr app_task(new App_task(Ned::server->registry(), am.rm_fab())); in exec()
533 L4Re::chkcap(Ned::server->registry()->register_obj(observer), in init()
/l4re-core-master/l4re_vfs/include/
A Dbackend306 * file system in the global registry and implements the type() method.
320 * in the registry of L4Re::Vfs::vfs_ops.
332 * from the registry of L4Re::Vfs::vfs_ops.

Completed in 12 milliseconds