Home
last modified time | relevance | path

Searched refs:Cap (Results 1 – 25 of 140) sorted by relevance

123456

/l4re-core-master/l4sys/include/cxx/
A Dcapability.h244 Cap(Cap<O> const &o) noexcept : Cap_base(o.cap()) in Cap() function
276 Cap move(Cap const &src) const in move()
286 Cap copy(Cap const &src) const in copy()
341 Cap move(Cap const &src) const in move()
351 Cap copy(Cap const &src) const in copy()
358 Cap(Cap<T> const &o) noexcept : Cap_base(o.cap()) {} in Cap() function
379 Cap<T> cap_cast(Cap<F> const &c) noexcept in cap_cast()
382 return Cap<T>(c.cap()); in cap_cast()
388 Cap<T> cap_cast(Cap<L4::Kobject> const &c) noexcept in cap_cast()
390 return Cap<T>(c.cap()); in cap_cast()
[all …]
A Dipc_types568 /// Make a Cap from L4::Cap<T>, with minimal rights
569 Cap(L4::Cap<T> cap) noexcept
575 Cap(L4::Cap<O> cap) noexcept
583 * Make a Cap from L4::Cap<T> with the given rights.
589 Cap(L4::Cap<T> cap, unsigned char rights) noexcept
598 { return Cap(L4::Cap<T>(c & Cap_mask), c & Rights_mask); }
600 /// Return the L4::Cap<T> of this Cap
624 Cap<T> make_cap(L4::Cap<T> cap, unsigned rights) noexcept
634 Cap<T> make_cap_rw(L4::Cap<T> cap) noexcept
644 Cap<T> make_cap_rws(L4::Cap<T> cap) noexcept
[all …]
/l4re-core-master/ned/server/src/
A Dapp_model.h48 typedef L4::Cap<L4Re::Dataspace> Dataspace;
49 typedef L4::Cap<L4Re::Rm> Rm;
94 static L4::Cap<void> local_kip_cap() in local_kip_cap()
97 static L4::Cap<void> prog_kip_ds()
102 L4::Cap<L4::Task> *task,
128 L4::Cap<L4Re::Log> _log;
129 L4::Cap<L4::Scheduler> _sched;
130 L4::Cap<L4Re::Namespace> _ns;
131 L4::Cap<L4Re::Mem_alloc> _ma;
132 L4::Cap<L4Re::Mem_alloc> _ma;
[all …]
A Dlua_cap.cc28 Cap::~Cap() in ~Cap()
52 Cap *n = check_cap(l, 1); in is_valid()
61 n->~Cap(); in gc_cap()
88 static Cap *
109 Cap *c; in __set_mode_call()
258 Cap *
261 Cap *c = new (lua_newuserdata(l, sizeof(Cap))) Cap(); in push_void_cap()
269 Cap *
282 Cap *nc = 0; in push_new_cap()
304 c->set(Cap::C<void>::Cap(i)); in register_cap()
[all …]
A Dlua_cap.h46 class Cap
48 L4_LUA_DECLARE_KOBJECT(Cap)
55 typename C<T>::Cap cap() const in cap()
72 Cap(C<void>::Cap c = C<void>::Cap(), unsigned flags = 0)
79 void set(C<void>::Cap c) in set()
91 virtual ~Cap();
99 void assign(Cap *o) in assign()
127 C<void>::Cap _c;
133 Cap *
136 Cap *
[all …]
A Dlua_ns.cc31 Cap *_ns = Lua::check_cap(l, lua_upvalueindex(1)); in __lookup()
35 L4::Cap<L4Re::Namespace> ns(_ns->cap<L4Re::Namespace>().get()); in __lookup()
46 return Cap::index(l); in __lookup()
58 Lua::Cap *no = Lua::push_void_cap(l); in __lookup()
89 Cap *ns = check_cap(l, 1); in __register()
92 Cap *n = 0; in __register()
121 L4::Cap<void> cap = n ? n->cap<void>().get() : L4::Cap<void>::Invalid; in __register()
145 Cap::add_class_metatable(l); in register_methods()
A Dapp_model.cc23 L4::Cap<L4Re::Mem_alloc> _ma(prog_info()->mem_alloc.raw & L4_FPAGE_ADDR_MASK); in alloc_ds()
77 L4::Cap<L4Re::Rm> rm = L4Re::Env::env()->rm(); in local_attach_ds()
92 L4::Cap<L4Re::Rm> rm = L4Re::Env::env()->rm(); in local_detach_ds()
114 L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap stack in alloc_app_stack()
117 L4::Cap<L4Re::Mem_alloc> ma(prog_info()->mem_alloc.raw & L4_FPAGE_ADDR_MASK); in alloc_app_stack()
161 App_model::get_task_caps(L4::Cap<L4::Factory> *factory, in get_task_caps()
162 L4::Cap<L4::Task> *task, in get_task_caps()
163 L4::Cap<L4::Thread> *thread) in get_task_caps()
170 *factory = L4::Cap<L4::Factory>(prog_info()->factory.raw & L4_FPAGE_ADDR_MASK); in get_task_caps()
/l4re-core-master/l4re_kernel/server/src/
A Dloader.h68 typedef L4::Cap<L4Re::Dataspace> Const_dataspace;
69 typedef L4::Cap<L4Re::Dataspace> Dataspace;
71 L4::Cap<L4Re::Rm> _rm;
73 L4Re_app_model(L4::Cap<L4Re::Rm> rm, void *) : _rm(rm) {} in L4Re_app_model()
103 { return L4::Cap<L4Re::Dataspace>::Invalid; } in reserved_area()
107 return L4::Cap<L4Re::Dataspace>(Global::l4re_aux->kip_ds); in local_kip_ds()
110 static L4::Cap<void> local_kip_cap() in local_kip_cap()
113 static L4::Cap<void> prog_kip_ds() in prog_kip_ds()
115 return L4::Cap<L4Re::Dataspace>(Global::l4re_aux->kip_ds); in prog_kip_ds()
135 bool __start(L4::Cap<L4Re::Dataspace> bin, Region_map *rm);
[all …]
/l4re-core-master/l4re_c/lib/src/
A Dgoos.cc29 L4::Cap<Goos> g(goos); in l4re_video_goos_create_buffer()
30 return g->create_buffer(size, L4::Cap<L4Re::Dataspace>(buffer)); in l4re_video_goos_create_buffer()
37 L4::Cap<Goos> g(goos); in l4re_video_goos_refresh()
45 L4::Cap<Goos> g(goos); in l4re_video_goos_delete_buffer()
53 L4::Cap<Goos> g(goos); in l4re_video_goos_get_static_buffer()
54 return g->get_static_buffer(idx, L4::Cap<L4Re::Dataspace>(buffer)); in l4re_video_goos_get_static_buffer()
61 L4::Cap<Goos> g(goos); in l4re_video_goos_create_view()
69 L4::Cap<Goos> g(goos); in l4re_video_goos_delete_view()
77 L4::Cap<Goos> g(goos); in l4re_video_goos_get_view()
A Drm.cc33 L4::Cap<L4Re::Rm> x(rm); in l4re_rm_reserve_area_srv()
40 L4::Cap<L4Re::Rm> x(rm); in l4re_rm_free_area_srv()
50 L4::Cap<L4Re::Rm> x(rm); in l4re_rm_attach_srv()
51 auto _mem = L4::Ipc::Cap<L4Re::Dataspace>::from_ci(mem); in l4re_rm_attach_srv()
60 L4::Cap<L4Re::Rm> x(rm); in l4re_rm_detach_srv()
61 L4::Cap<L4::Task> t(task); in l4re_rm_detach_srv()
62 L4::Cap<L4Re::Dataspace> d(L4_INVALID_CAP); in l4re_rm_detach_srv()
76 L4::Cap<L4Re::Rm> x(rm); in l4re_rm_find_srv()
77 L4::Cap<L4Re::Dataspace> mm(L4_INVALID_CAP); in l4re_rm_find_srv()
88 L4::Cap<L4Re::Debug_obj> d(rm); in l4re_rm_show_lists_srv()
A Ddataspace.cc36 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_map()
46 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_map_region()
53 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_clear()
61 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_allocate()
70 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_copy_in()
71 auto srcds = L4::Ipc::Cap<L4Re::Dataspace>::from_ci(src); in l4re_ds_copy_in()
78 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_size()
85 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_info()
92 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_flags()
A Devent.cc27 L4::Cap<L4Re::Event> x(server); in l4re_event_get_buffer()
28 L4::Cap<L4Re::Dataspace> _ds(ds); in l4re_event_get_buffer()
35 L4::Cap<L4Re::Event> x(server); in l4re_event_get_num_streams()
44 L4::Cap<L4Re::Event> x(server); in l4re_event_get_stream_info()
52 L4::Cap<L4Re::Event> x(server); in l4re_event_get_stream_info_for_id()
61 L4::Cap<L4Re::Event> x(server); in l4re_event_get_axis_info()
A Ddma_space.cc28 L4::Cap<L4Re::Dma_space> d(dma); in l4re_dma_space_map()
29 return d->map(L4::Ipc::Cap<L4Re::Dataspace>::from_ci(src), in l4re_dma_space_map()
41 L4::Cap<L4Re::Dma_space> d(dma); in l4re_dma_space_unmap()
55 L4::Cap<L4Re::Dma_space> d(dma); in l4re_dma_space_associate()
56 return d->associate(L4::Ipc::Cap<L4::Task>::from_ci(task), in l4re_dma_space_associate()
63 L4::Cap<L4Re::Dma_space> d(dma); in l4re_dma_space_disassociate()
A Dnamespace.cc25 L4::Cap<L4Re::Namespace> x(srv); in l4re_ns_query_to_srv()
26 return x->query(name, L4::Cap<void>(cap), timeout); in l4re_ns_query_to_srv()
33 L4::Cap<L4Re::Namespace> x(srv); in l4re_ns_register_obj_srv()
34 return x->register_obj(name, L4::Ipc::Cap<void>::from_ci(obj), flags); in l4re_ns_register_obj_srv()
/l4re-core-master/moe/server/src/
A Dobj_reg.h62 L4::Cap<void> get_rcv_cap(int index) const override
65 return L4::Cap<void>(Rcv_cap << L4_CAP_SHIFT);
67 return L4::Cap<void>::Invalid;
113 L4::Cap<L4::Kobject> alloc()
115 L4::Cap<L4::Kobject> cap = _non_gc.alloc<L4::Kobject>();
123 L4::Cap<T> alloc() { return L4::cap_cast<T>(alloc()); }
125 L4::Cap<L4::Kobject> alloc(Moe::Server_object *_o)
130 L4::Cap<L4::Kobject> cap = _non_gc.alloc<L4::Kobject>();
145 bool free(L4::Cap<void> const &cap, l4_umword_t unmap_flags = L4_FP_ALL_SPACES)
168 early_chksys(c->bind_thread(L4::Cap<L4::Thread>(L4_BASE_THREAD_CAP),
[all …]
A Dapp_task.h26 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 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()
/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>
155 L4::Cap<L4::Irq> _register_irq(L4::Epiface *o,
259 L4::Cap<L4::Rcv_endpoint>
298 o->set_server(0, L4::Cap<void>::Invalid);
332 L4::Cap<L4::Factory> factory)
342 Registry_server(L4::Cap<L4::Thread> server,
[all …]
A Denv_ns24 L4::Cap<void>
36 return L4::Cap<void>(-L4_ENOENT);
40 L4::Cap<L4Re::Namespace> ns(e->cap);
41 L4::Cap<void> cap = _ca->alloc<void>();
44 return L4::Cap<void>(-L4_ENOMEM);
52 return L4::Cap<void>(r);
55 return L4::Cap<void>(e->cap);
58 L4::Cap<void>
64 L4::Cap<T>
A Dbitmap_cap_alloc49 L4::Cap<void> alloc() noexcept
53 return L4::Cap<void>::Invalid;
55 return L4::Cap<void>((cap + _bias) << L4_CAP_SHIFT);
64 L4::Cap<T> alloc() noexcept
65 { return L4::Cap<T>(alloc().cap()); }
67 State is_allocated(L4::Cap<void> c) const noexcept
82 void free(L4::Cap<T> const &cap, l4_cap_idx_t task = L4_INVALID_CAP,
98 void take(L4::Cap<void>) noexcept {}
99 bool release(L4::Cap<void>, l4_cap_idx_t task = L4_INVALID_CAP,
/l4re-core-master/libkproxy/include/
A Dfactory_svr33 virtual L4::Cap<void> cap_alloc() = 0;
34 virtual void cap_free(L4::Cap<void>) = 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,
49 virtual int create_gate(L4::Cap<void> 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;
71 L4::Cap<CT> cap_alloc()
[all …]
/l4re-core-master/l4re/include/
A Denv110 L4::Cap<Parent> parent() const noexcept
111 { return L4::Cap<Parent>(_env.parent); }
127 L4::Cap<Rm> rm() const noexcept
128 { return L4::Cap<Rm>(_env.rm); }
133 L4::Cap<Log> log() const noexcept
134 { return L4::Cap<Log>(_env.log); }
145 L4::Cap<L4::Task> task() const noexcept
207 return L4::Cap<T>(e->cap);
209 return L4::Cap<T>(-L4_ENOENT);
238 void rm(L4::Cap<Rm> const &c) noexcept
[all …]
A Dcap_alloc56 virtual L4::Cap<void> alloc() noexcept = 0;
57 virtual void take(L4::Cap<void> cap) noexcept = 0;
64 L4::Cap<T> alloc() noexcept
95 L4::Cap<void> alloc() noexcept override { return _ca.alloc(); }
98 void free(L4::Cap<void> cap, l4_cap_idx_t task = L4_INVALID_CAP,
102 bool release(L4::Cap<void> cap, l4_cap_idx_t task,
122 L4::Cap<void> alloc() noexcept override { return ALLOC::alloc(); }
125 void free(L4::Cap<void> cap, l4_cap_idx_t task = L4_INVALID_CAP,
129 bool release(L4::Cap<void> cap, l4_cap_idx_t task,
159 _ca->free(L4::Cap<void>(c.cap()), This_task, Unmap_flags);
[all …]
/l4re-core-master/libloader/include/
A Dremote_app_model84 env->parent(L4::Cap<L4Re::Parent>(Caps::Parent_cap << L4_CAP_SHIFT));
86 env->rm(L4::Cap<L4Re::Rm>(Caps::External_rm_cap << L4_CAP_SHIFT));
87 env->log(L4::Cap<L4Re::Log>(Caps::Log_cap << L4_CAP_SHIFT));
89 env->factory(L4::Cap<L4::Factory>(Caps::Factory_cap << L4_CAP_SHIFT));
97 L4::Cap<void> prog_kip_ds() const
98 { return L4::Cap<void>(Caps::Kip_cap << L4_CAP_SHIFT); }
134 using L4::Cap;
136 L4::Cap<L4::Task> ntask;
137 L4::Cap<L4::Thread> nthread;
138 L4::Cap<L4::Factory> factory;
[all …]
/l4re-core-master/l4sys/include/
A Dcapability4 * L4::Cap related definitions.
83 Cap_base::validate(Cap<Task> task, l4_utcb_t *u) const noexcept
109 * \retval Cap<T> Capability of target interface `T`.
119 * L4::Cap<L4::Kobject> obj = ... ;
120 * L4::Cap<L4::Icu> icu = L4::cap_dynamic_cast<L4::Icu>(obj);
125 Cap<T> cap_dynamic_cast(Cap<F> const &c) noexcept
128 return Cap<T>::Invalid;
130 Cap<Meta> mc = cap_reinterpret_cast<Meta>(c);
133 return Cap<T>(c.cap());
138 return Cap<T>(c.cap());
[all …]

Completed in 28 milliseconds

123456