Home
last modified time | relevance | path

Searched refs:L4 (Results 1 – 25 of 249) sorted by relevance

12345678910

/l4re-core-master/moe/server/src/
A Dobj_reg.h41 : public L4::Basic_registry,
113 L4::Cap<L4::Kobject> alloc()
115 L4::Cap<L4::Kobject> cap = _non_gc.alloc<L4::Kobject>();
117 L4::cerr << "AC->" << L4::n_hex(cap.cap()) << "\n";
123 L4::Cap<T> alloc() { return L4::cap_cast<T>(alloc()); }
125 L4::Cap<L4::Kobject> alloc(Moe::Server_object *_o)
129 L4::Epiface *o = _o;
130 L4::Cap<L4::Kobject> cap = _non_gc.alloc<L4::Kobject>();
132 L4::cerr << "ACO->" << L4::n_hex(cap.cap()) << "\n";
168 early_chksys(c->bind_thread(L4::Cap<L4::Thread>(L4_BASE_THREAD_CAP),
[all …]
A Dapp_task.h22 class App_task : public L4::Epiface_t<App_task, L4Re::Parent, Moe::Server_object>
26 L4::Cap<L4::Task> _task;
27 L4::Cap<L4::Thread> _thread;
40 void task_cap(L4::Cap<L4::Task> const &c) { _task = c; } in task_cap()
41 void thread_cap(L4::Cap<L4::Thread> const &c) { _thread = c; } in thread_cap()
43 L4::Cap<L4::Task> task_cap() const { return _task; } in task_cap()
44 L4::Cap<L4::Thread> thread_cap() const { return _thread; } in thread_cap()
A Dlog.h21 class Log : public L4::Epiface_t<Log, L4::Vcon, Moe::Server_object>
43 int op_bind(L4::Icu::Rights, l4_umword_t, in op_bind()
44 L4::Ipc::Snd_fpage) in op_bind()
47 int op_unbind(L4::Icu::Rights, l4_umword_t, in op_unbind()
48 L4::Ipc::Snd_fpage) in op_unbind()
50 int op_info(L4::Icu::Rights, L4::Icu::_Info &) in op_info()
52 int op_msi_info(L4::Icu::Rights, l4_umword_t, l4_uint64_t, in op_msi_info()
55 int op_mask(L4::Icu::Rights, l4_umword_t) in op_mask()
57 int op_unmask(L4::Icu::Rights, l4_umword_t) in op_unmask()
59 int op_set_mode(L4::Icu::Rights, l4_umword_t, l4_umword_t) in op_set_mode()
[all …]
A Dsched_proxy.h19 public L4::Epiface_t<Sched_proxy, L4::Scheduler, Moe::Server_object>,
30 typedef L4::Cap<L4::Irq> Irq_cap;
32 { return object_pool.cap_alloc()->alloc<L4::Irq>(); } in alloc_irq_cap()
41 int run_thread(L4::Cap<L4::Thread> thread, l4_sched_param_t const &sp);
48 L4::Cap<L4::Thread> received_thread(L4::Ipc::Snd_fpage const &fp);
49 L4::Cap<void> rcv_cap() const in rcv_cap()
50 { return L4::Cap<L4::Thread>(Rcv_cap << L4_CAP_SHIFT); } in rcv_cap()
A Dsched_proxy.cc136 Sched_proxy::run_thread(L4::Cap<L4::Thread> thread, l4_sched_param_t const &sp) in run_thread()
160 L4::Cap<L4::Thread>
161 Sched_proxy::received_thread(L4::Ipc::Snd_fpage const &fp) in received_thread()
164 return L4::Cap<L4::Thread>::Invalid; in received_thread()
166 return L4::Cap<L4::Thread>(Rcv_cap << L4_CAP_SHIFT); in received_thread()
178 public L4::Irqep_t<Cpu_hotplug_server, Moe::Server_object>
192 L4::Cap<L4::Irq> irq = object_pool.cap_alloc()->alloc<L4::Irq>(); in Cpu_hotplug_server()
199 if (l4_error(L4::Cap<L4::Factory>(L4_BASE_FACTORY_CAP)->create(irq)) < 0) in Cpu_hotplug_server()
205 if (l4_error(irq->bind_thread(L4::Cap<L4::Thread>(L4_BASE_THREAD_CAP), l4_umword_t(this))) < 0) in Cpu_hotplug_server()
A Dloader.h48 void map_initial_caps(L4::Cap<L4::Task>, l4_cap_idx_t);
76 static L4::Cap<void> local_kip_cap() in local_kip_cap()
79 void get_task_caps(L4::Cap<L4::Factory> *factory,
80 L4::Cap<L4::Task> *task,
81 L4::Cap<L4::Thread> *thread);
83 l4_msgtag_t run_thread(L4::Cap<L4::Thread> thread, in run_thread()
A Dmain.cc172 case L4::Kip::Mem_desc::Arch: in find_memory()
246 static L4::Cap<void>
252 L4::Cap<L4::Factory>(Sigma0_cap)->create(new_sigma0_cap, L4_PROTO_SIGMA0), in new_sigma0_cap()
259 public L4::Ipc_svr::Ignore_errors,
260 public L4::Ipc_svr::Default_timeout,
261 public L4::Ipc_svr::Compound_reply
286 L4::cout << L4::hex << "UTCB: " << u->values[0] in dispatch()
324 catch (L4::Runtime_error &e) in dispatch()
525 ->run_thread(L4::Cap<L4::Thread>(L4_BASE_THREAD_CAP), l4_sched_param(0xff)); in main()
620 catch (L4::Out_of_memory const &e) in main()
[all …]
/l4re-core-master/l4re/util/include/
A Dobject_registry64 L4::Cap<L4::Thread> _server;
65 L4::Cap<L4::Factory> _factory;
93 L4::Cap<L4::Thread> server,
94 L4::Cap<L4::Factory> factory)
102 L4::Cap<L4::Rcv_endpoint>
103 _register_ep(L4::Epiface *o, L4::Cap<L4::Rcv_endpoint> ep,
155 L4::Cap<L4::Irq> _register_irq(L4::Epiface *o,
238 L4::Cap<L4::Irq> register_irq_obj(L4::Epiface *o) override
259 L4::Cap<L4::Rcv_endpoint>
260 register_obj(L4::Epiface *o, L4::Cap<L4::Rcv_endpoint> ep) override
[all …]
A Dicu_svr40 L4_RPC_LEGACY_DISPATCH(L4::Icu);
43 L4::Ipc::Snd_fpage irq_fp);
45 L4::Ipc::Snd_fpage irq_fp);
46 int op_info(L4::Icu::Rights, L4::Icu::_Info &info);
58 L4::Ipc::Snd_fpage irq_fp)
81 Icu_svr<ICU>::op_info(L4::Icu::Rights, L4::Icu::_Info &info)
127 static void free_irq_cap(L4::Cap<L4::Irq> &cap)
154 L4::Cap<L4::Irq> cap() const { return _cap; }
157 L4::Cap<L4::Irq> _cap;
193 L4::Cap<L4::Irq> irq = cfb->server_iface()->template rcv_cap<L4::Irq>(0);
[all …]
/l4re-core-master/ned/server/src/
A Dapp_model.h49 typedef L4::Cap<L4Re::Rm> Rm;
60 virtual void map_initial_caps(L4::Cap<L4::Task> task, l4_cap_idx_t start) = 0;
101 void get_task_caps(L4::Cap<L4::Factory> *factory,
102 L4::Cap<L4::Task> *task,
103 L4::Cap<L4::Thread> *thread);
105 l4_msgtag_t run_thread(L4::Cap<L4::Thread> thread, in run_thread()
108 L4::Cap<L4::Scheduler> s(prog_info()->scheduler.raw & (~0UL << L4_FPAGE_ADDR_SHIFT)); in run_thread()
128 L4::Cap<L4Re::Log> _log;
129 L4::Cap<L4::Scheduler> _sched;
130 L4::Cap<L4Re::Namespace> _ns;
[all …]
A Dlua_factory.cc51 auto obj = L4Re::Util::make_unique_cap<L4::Kobject>(); in __alloc()
56 L4::Cap<L4::Factory> f(n->cap<L4::Factory>().get()); in __alloc()
57 L4::Ipc::Varg args[argc-1]; in __alloc()
61 args[i-3] = L4::Ipc::Varg((l4_mword_t)luaL_checkinteger(l, i)); in __alloc()
63 args[i-3] = L4::Ipc::Varg(luaL_checkstring(l, i)); in __alloc()
65 args[i-3] = L4::Ipc::Varg::nil(); in __alloc()
67 args[argc-2] = L4::Ipc::Varg::nil(); in __alloc()
69 l4_msgtag_t t = L4::Factory::create_t::call(f, obj.get(), objt, args); in __alloc()
102 static Lua::Cap_type_lib<L4::Factory, Factory_model> __lib;
A Dserver.h19 class Server_object : public L4::Epiface
25 Registry(L4::Ipc_svr::Server_iface *sif, in Registry()
26 L4::Cap<L4::Thread> t, L4::Cap<L4::Factory> f) in Registry()
32 class Server : public L4::Server<>
42 typedef L4::Server<> Base;
/l4re-core-master/libkproxy/lib/src/
A Dfactory_svr.cc36 L4::Cap<L4::Factory> f = svr->cap_alloc<L4::Factory>(); in handle_factory()
47 L4::Ipc::Iostream &ios) in handle_task()
50 L4::Cap<L4::Task> t = svr->cap_alloc<L4::Task>(); in handle_task()
63 L4::Cap<L4::Thread> t = svr->cap_alloc<L4::Thread>(); in handle_thread()
76 L4::Ipc::Snd_fpage f; in handle_gate()
77 L4::Cap<void> g = svr->cap_alloc<void>(); in handle_gate()
91 L4::Ipc::Iostream &ios) in handle_irq()
93 L4::Cap<L4::Irq> i = svr->cap_alloc<L4::Irq>(); in handle_irq()
103 L4::Ipc::Iostream &ios) in handle_vm()
105 L4::Cap<L4::Vm> i = svr->cap_alloc<L4::Vm>(); in handle_vm()
[all …]
/l4re-core-master/libkproxy/include/
A Dfactory_svr5 * \brief L4::Factory server interface
33 virtual L4::Cap<void> cap_alloc() = 0;
41 virtual int create_task(L4::Cap<L4::Task> const &target_cap,
44 virtual int create_thread(L4::Cap<L4::Thread> const &target_cap) = 0;
46 virtual int create_factory(L4::Cap<L4::Factory> const &target_cap,
50 L4::Cap<L4::Thread> const &thread_cap,
53 virtual int create_irq(L4::Cap<L4::Irq>const &target_cap) = 0;
55 virtual int create_vm(L4::Cap<L4::Vm>const &target_cap) = 0;
68 virtual L4::Cap<L4::Thread> received_thread(L4::Ipc::Snd_fpage const &fp) = 0;
71 L4::Cap<CT> cap_alloc()
[all …]
/l4re-core-master/l4sys/doc/
A Dfactory.dox22 - L4::Factory
23 - L4::Ipc_gate
24 - L4::Irq
25 - L4::Semaphore
26 - L4::Task
27 - L4::Thread
28 - L4::Vm
51 - L4::Ipc_gate()
55 - L4::Irq()
60 - L4::Thread()
[all …]
A Dfiles.cfg7 EXCLUDE_SYMBOLS += L4::Ipc::Detail L4::Ipc::Msg::Detail L4::Ipc::Msg::_* \
8 L4::__I L4::Ipc::Internal L4::_* L4::Ipc::_* \
9 L4::Kobject_t::_* L4::Kobject_2t::_* L4::Kobject_3t::_* \
10 L4::Kobject_x::_*
/l4re-core-master/ned/doc/
A DAw.lua6 local L4 = require("L4");
9 loader = L4.default_loader;
11 local rom = L4.Env.rom;
33 icu = L4.Env.icu;
34 sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);
48 log = {"io", "red"}, l4re_dbg = L4.Dbg.Warn + L4.Dbg.Loader,
49 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x90, 0x80)
81 if L4.Info.arch() == "amd64" then
99 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x80, 0x70)
135 scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x78, 0x70)
[all …]
A Dtutorial.lua144 L4.default_loader:start({}, "rom/hello");
163 fb = L4.Env.vesa;
166 L4.default_loader:start({caps = my_caps, log = {"APP", "blue"}}, "rom/hello");
181 L4.default_loader:start({}, "rom/program arg1 " .. arg2, { LD_DEBUG = 1 });
192 L4.default_loader:startv({}, "rom/program", "arg1", arg2, { LD_DEBUG = 1 });
201 l = L4.Loader.new({mem = L4.Env.user_factory:create(L4.Proto.Factory, 512*1024)})
226 local e = L4.App_env.new({
228 mem = L4.Env.user_factory:create(L4.Proto.Factory, 128*1024)
/l4re-core-master/l4re_kernel/server/src/
A Dregion.h24 typedef L4Re::Util::Region_handler<L4::Cap<L4Re::Dataspace>, Region_ops> Region_handler;
46 typedef L4::Cap<L4Re::Dataspace> Dataspace;
47 typedef L4::Kobject_3t<void, L4Re::Rm, L4::Exception, L4Re::Debug_obj> Interface;
50 static int validate_ds(void *, L4::Ipc::Snd_fpage const &ds_cap, in validate_ds()
52 L4::Cap<L4Re::Dataspace> *ds) in validate_ds()
58 *ds = L4::Cap<L4Re::Dataspace>(ds_cap.base()); in validate_ds()
64 static l4_umword_t find_res(L4::Cap<void> const &ds) { return ds.cap(); } in find_res()
73 int op_exception(L4::Exception::Rights, l4_exc_regs_t &regs,
74 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &fp);
75 long op_io_page_fault(L4::Io_pager::Rights,
[all …]
A Dmain.cc44 using L4::Cap;
51 L4::Cap<void> rcv_cap;
54 public L4::Ipc_svr::Ignore_errors,
55 public L4::Ipc_svr::Default_timeout,
56 public L4::Ipc_svr::Compound_reply
78 static L4::Server<Loop_hooks> server;
177 L4::Cap<Dataspace> file; in run()
199 catch (L4::Runtime_error const &e) in main()
202 L4::cerr << e; in main()
205 catch (L4::Base_exception const &e) in main()
[all …]
A Dregion.cc40 for (auto const &m: L4::Kip::Mem_desc::all(__L4_KIP_ADDR__)) in init()
50 case L4::Kip::Mem_desc::Conventional: in init()
53 case L4::Kip::Mem_desc::Reserved: in init()
80 L4::Ipc::Snd_fpage rfp; in map()
81 L4::cap_reinterpret_cast<L4::Pager>(h->memory()) in map()
93 L4::Cap<L4Re::Dataspace> ds = L4::cap_cast<L4Re::Dataspace>(h->memory()); in map()
108 L4::Cap<L4Re::Dataspace> ds = L4::cap_cast<L4Re::Dataspace>(h->memory()); in free()
130 Region_map::op_exception(L4::Exception::Rights, l4_exc_regs_t &u, in op_exception()
131 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_exception()
142 Region_map::op_io_page_fault(L4::Io_pager::Rights, in op_io_page_fault()
[all …]
/l4re-core-master/l4re/include/
A Denv38 namespace L4 {
121 L4::Cap<L4::Factory> user_factory() const noexcept
122 { return L4::Cap<L4::Factory>(_env.mem_alloc); }
139 L4::Cap<L4::Thread> main_thread() const noexcept
140 { return L4::Cap<L4::Thread>(_env.main_thread); }
145 L4::Cap<L4::Task> task() const noexcept
146 { return L4::Cap<L4::Task>(L4RE_THIS_TASK_CAP); }
151 L4::Cap<L4::Factory> factory() const noexcept
152 { return L4::Cap<L4::Factory>(_env.factory); }
282 L4::Cap<L4::Scheduler> scheduler() const noexcept
[all …]
A Dcap_alloc56 virtual L4::Cap<void> alloc() noexcept = 0;
64 L4::Cap<T> alloc() noexcept
65 { return L4::cap_cast<T>(alloc()); }
156 void free(L4::Cap_base &c)
164 static void invalidate(L4::Cap_base &c)
170 static L4::Cap_base copy(L4::Cap_base const &src)
172 L4::Cap_base r = src;
191 * Free operation for L4::Smart_cap
194 void free(L4::Cap_base &c) noexcept
215 L4::Cap_base copy(L4::Cap_base const &src)
[all …]
/l4re-core-master/cxx/lib/io/include/
A Dbasic_ostream25 namespace L4 {
181 L4::BasicOStream &
198 L4::BasicOStream &
206 L4::BasicOStream &
214 L4::BasicOStream &
222 L4::BasicOStream &
230 L4::BasicOStream &
238 L4::BasicOStream &
246 L4::BasicOStream &
275 operator << (L4::BasicOStream &s, L4::IOModifier m)
[all …]
/l4re-core-master/sigma0/server/src/
A Dmemmap.cc40 L4::cout << PROG_NAME": Dump of all resource maps\n" in dump_all()
43 L4::cout << "IOMEM:----------------------\n"; in dump_all()
248 public L4::Kobject_t<Sigma0, L4::Factory, L4_PROTO_SIGMA0>
282 L4::cout << PROG_NAME": received " << tag << " d1=" << L4::hex in pager()
292 case L4::Meta::Protocol: in pager()
294 L4::Ipc::Detail::Meta_svr<Sigma0> dummy; in pager()
296 = L4::Ipc::Msg::dispatch_call<L4::Meta::Rpcs>(&dummy, utcb, in pager()
300 case L4::Factory::Protocol: in pager()
318 L4::cout << PROG_NAME": can't handle label=" << L4::dec in pager()
320 << " d1=" << L4::hex << pfa in pager()
[all …]

Completed in 24 milliseconds

12345678910