Searched refs:register_cap (Results 1 – 3 of 3) sorted by relevance
| /l4re-core-master/ned/server/src/ |
| A D | lua_env.cc | 39 register_cap(l, "parent", e->parent()); in init()
40 register_cap(l, "mem_alloc", e->mem_alloc(), L4::Factory::Protocol); in init()
41 register_cap(l, "rm", e->rm()); in init()
42 register_cap(l, "log", e->log()); in init()
43 register_cap(l, "factory", e->factory(), L4::Factory::Protocol); in init()
44 register_cap(l, "scheduler", e->scheduler()); in init()
49 register_cap(l, i->name, L4::Cap<L4::Kobject>(i->cap)); in init()
|
| A D | lua_cap.h | 140 register_cap(lua_State *l, char const *name, L4::Cap<void> i, long proto = 0);
|
| A D | lua_cap.cc | 300 register_cap(lua_State *l, char const *name, L4::Cap<void> i, long proto) in register_cap() function
|
Completed in 7 milliseconds