Home
last modified time | relevance | path

Searched refs:user_factory (Results 1 – 5 of 5) sorted by relevance

/l4re-core-master/ned/doc/
A Dtutorial.lua201 l = L4.Loader.new({mem = L4.Env.user_factory:create(L4.Proto.Factory, 512*1024)})
228 mem = L4.Env.user_factory:create(L4.Proto.Factory, 128*1024)
A DAw.lua49 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x90, 0x80)
99 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x80, 0x70)
135 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x78, 0x70)
/l4re-core-master/ned/server/src/
A Dlua_exec.cc252 L4Re::Util::Ref_cap<L4::Factory>::Cap user_factory in parse_cfg() local
253 = L4Re::Env::env()->user_factory(); in parse_cfg()
255 prog_info()->mem_alloc = user_factory.fpage(); in parse_cfg()
279 _rm_fab = user_factory; in parse_cfg()
A Dned.lua14 Env.user_factory = Env.mem_alloc;
/l4re-core-master/l4re/include/
A Denv65 * user_factory | L4::Factory | L4Re::Env::user_factory()
121 L4::Cap<L4::Factory> user_factory() const noexcept

Completed in 6 milliseconds