Home
last modified time | relevance | path

Searched refs:cap (Results 1 – 25 of 98) sorted by relevance

1234

/l4re-core-master/l4sys/include/
A Ddebugger.h74 l4_debugger_get_object_name(l4_cap_idx_t cap, unsigned id,
81 l4_debugger_get_object_name_u(l4_cap_idx_t cap, unsigned id,
97 l4_debugger_global_id(l4_cap_idx_t cap) L4_NOTHROW;
164 l4_debugger_query_log_name(l4_cap_idx_t cap, unsigned idx,
187 l4_debugger_switch_log(l4_cap_idx_t cap, const char *name,
245 l4_debugger_set_object_name_u(l4_cap_idx_t cap, in l4_debugger_set_object_name_u() argument
339 l4_debugger_set_object_name(l4_cap_idx_t cap, in l4_debugger_set_object_name() argument
346 l4_debugger_global_id(l4_cap_idx_t cap) L4_NOTHROW in l4_debugger_global_id() argument
348 return l4_debugger_global_id_u(cap, l4_utcb()); in l4_debugger_global_id()
354 return l4_debugger_kobj_to_id_u(cap, kobjp, l4_utcb()); in l4_debugger_kobj_to_id()
[all …]
A Dtask75 { return l4_task_map_u(cap(), src_task.cap(), snd_fpage, snd_base, utcb); }
102 { return l4_task_unmap_u(cap(), fpage, map_mask, utcb); }
140 { return l4_task_delete_obj_u(cap(), obj.cap(), utcb); }
157 l4_msgtag_t release_cap(L4::Cap<void> cap,
159 { return l4_task_release_cap_u(this->cap(), cap.cap(), utcb); }
164 * \param cap Valid capability to check for presence.
173 * \pre `cap` must be a valid capability (i.e. `cap.is_valid() == true`).
177 l4_msgtag_t cap_valid(Cap<void> const &cap,
179 { return l4_task_cap_valid_u(this->cap(), cap.cap(), utcb); }
196 { return l4_task_cap_equal_u(cap(), cap_a.cap(), cap_b.cap(), utcb); }
[all …]
A Dtask.h183 l4_task_release_cap(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW;
189 l4_task_release_cap_u(l4_cap_idx_t task, l4_cap_idx_t cap,
210 l4_task_cap_valid(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW;
318 l4_task_cap_valid_u(l4_cap_idx_t task, l4_cap_idx_t cap, l4_utcb_t *u) L4_NOTHROW in l4_task_cap_valid_u() argument
322 v->mr[1] = cap & ~1UL; in l4_task_cap_valid_u()
387 l4_task_release_cap_u(l4_cap_idx_t task, l4_cap_idx_t cap, in l4_task_release_cap_u() argument
390 return l4_task_unmap_u(task, l4_obj_fpage(cap, 0, L4_CAP_FPAGE_RWSD), in l4_task_release_cap_u()
395 l4_task_release_cap(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW in l4_task_release_cap() argument
397 return l4_task_release_cap_u(task, cap, l4_utcb()); in l4_task_release_cap()
401 l4_task_cap_valid(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW in l4_task_cap_valid() argument
[all …]
A Dsmart_capability49 l4_cap_idx_t r = cap();
73 Smart_cap(Cap<O> const &p) noexcept : Cap_base(p.cap())
78 : Cap_base(p.cap()), SMART(smart)
91 Smart_cap(typename Cap<O>::Cap_type cap) noexcept : Cap_base(cap)
94 void operator = (typename Cap<T>::Cap_type cap) noexcept
97 _c = cap;
104 _c = this->SMART::copy(o).cap();
115 _c = this->SMART::copy(o).cap();
134 _c = o.release().cap();
145 _c = o.release().cap();
[all …]
/l4re-core-master/moe/server/src/
A Dobj_reg.h117 L4::cerr << "AC->" << L4::n_hex(cap.cap()) << "\n";
119 return cap;
130 L4::Cap<L4::Kobject> cap = _non_gc.alloc<L4::Kobject>();
132 L4::cerr << "ACO->" << L4::n_hex(cap.cap()) << "\n";
134 if (!cap.is_valid())
138 l4_factory_create_gate(L4_BASE_FACTORY_CAP, cap.cap(),
141 _o->set_server(&object_pool, cap, true);
142 return cap;
147 if (!cap.is_valid())
150 if ((cap.cap() >> L4_CAP_SHIFT) >= Non_gc_cap_0)
[all …]
A Dname_space.cc40 object_pool.cap_alloc()->free(cap()); in ~Entry()
49 Entry::set(L4::Cap<void> cap) in set() argument
51 _cap = cap.cap(); in set()
80 Entry::set_cap_copy(L4::Cap<L4::Kobject> cap) in set_cap_copy() argument
85 nc.move(cap); in set_cap_copy()
171 if (cap.local_id_received()) in op_register_obj()
180 if (cap.id_received()) in op_register_obj()
181 n->set_epiface(cap.data()); in op_register_obj()
182 else if (cap.cap_received()) in op_register_obj()
184 else if (cap.is_valid()) in op_register_obj()
[all …]
A Dearly.h34 T early_chkcap(T cap, char const *text) in early_chkcap() argument
36 if (!cap) in early_chkcap()
42 return cap; in early_chkcap()
A Dname_space.h66 void set(L4::Cap<void> cap);
106 L4::Cap<void> cap() const in cap() function
119 void set_cap_copy(L4::Cap<L4::Kobject> cap);
180 Name_buffer const &name, L4::Ipc::Snd_fpage &cap);
186 int register_obj(Entry::Name const &name, unsigned long flags, T cap) in register_obj() argument
190 n->set(cap); in register_obj()
/l4re-core-master/l4sys/include/cxx/
A Dcapability.h52 l4_cap_idx_t cap() const noexcept { return _c; } in cap() function
148 explicit Cap_base(Cap_type cap) noexcept : _c(cap) {} in Cap_base() argument
155 explicit Cap_base(l4_default_caps_t cap) noexcept : _c(cap) {} in Cap_base() argument
244 Cap(Cap<O> const &o) noexcept : Cap_base(o.cap()) in Cap()
251 Cap(Cap_type cap) noexcept : Cap_base(cap) {} in Cap() argument
257 Cap(l4_default_caps_t cap) noexcept : Cap_base(cap) {} in Cap() argument
320 Cap(Cap_type cap) noexcept : Cap_base(cap) {} in Cap() argument
326 Cap(l4_default_caps_t cap) noexcept : Cap_base(cap) {} in Cap() argument
382 return Cap<T>(c.cap()); in cap_cast()
390 return Cap<T>(c.cap()); in cap_cast()
[all …]
A Dsmart_capability_1x54 : Cap_base(c.cap())
59 : Cap_base(c.cap()), IMPL(impl)
64 l4_cap_idx_t c = this->cap();
73 Cap<T> get() const noexcept { return Cap<T>(this->cap()); }
103 this->_c = o.release().cap();
114 this->_c = o.release().cap();
145 this->_c = o.release().cap();
156 this->_c = o.release().cap();
162 : Base(L4::Cap<T>(IMPL::copy(o).cap()))
177 this->_c = this->IMPL::copy(o).cap();
[all …]
A Dipc_types279 : _data(cap.cap() | L4_RCV_ITEM_SINGLE_CAP | flags) {}
282 * Create a receive item from a C cap.
382 cap.fpage(rights).raw)
569 Cap(L4::Cap<T> cap) noexcept
570 : _cap_n_rights((cap.cap() & Cap_mask) | (cap ? L4_CAP_FPAGE_R : 0))
575 Cap(L4::Cap<O> cap) noexcept
576 : _cap_n_rights((cap.cap() & Cap_mask) | (cap ? L4_CAP_FPAGE_R : 0))
579 /// Make an invalid cap
590 : _cap_n_rights((cap.cap() & Cap_mask) | (rights & Rights_mask)) {}
601 L4::Cap<T> cap() const noexcept
[all …]
/l4re-core-master/ned/server/src/
A Dlua_ns.cc35 L4::Cap<L4Re::Namespace> ns(_ns->cap<L4Re::Namespace>().get()); in __lookup()
99 int r = ns->cap<L4Re::Namespace>()->unlink(key); in __register()
118 key, n ? n->cap<void>().cap() : ~0UL, ns->cap<void>().cap()); in __register()
121 L4::Cap<void> cap = n ? n->cap<void>().get() : L4::Cap<void>::Invalid; in __register() local
123 r = ns->cap<L4Re::Namespace>() in __register()
124 ->register_obj(key, L4::Ipc::make_cap(cap, rights), in __register()
/l4re-core-master/l4re/include/
A Dcap_alloc57 virtual void take(L4::Cap<void> cap) noexcept = 0;
69 * \param cap Capability to free.
96 void take(L4::Cap<void> cap) noexcept override { _ca.take(cap); }
100 { _ca.free(cap, task, unmap_flags); }
102 bool release(L4::Cap<void> cap, l4_cap_idx_t task,
104 { return _ca.release(cap, task, unmap_flags); }
123 void take(L4::Cap<void> cap) noexcept override { ALLOC::take(cap); }
127 { ALLOC::free(cap, task, unmap_flags); }
129 bool release(L4::Cap<void> cap, l4_cap_idx_t task,
131 { return ALLOC::release(cap, task, unmap_flags); }
[all …]
A Denv.h55 l4_cap_idx_t cap; member
72 l4re_env_cap_entry_t() L4_NOTHROW : cap(L4_INVALID_CAP), flags(~0) {} in l4re_env_cap_entry_t()
82 : cap(c), flags(f) in cap() function
221 return r->cap; in l4re_env_get_cap_e()
/l4re-core-master/l4re_c/lib/src/
A Dinhibitor.cc15 l4re_inhibitor_acquire(l4_cap_idx_t cap, l4_umword_t id, in l4re_inhibitor_acquire() argument
18 return L4::Cap<L4Re::Inhibitor>(cap)->acquire(id, reason); in l4re_inhibitor_acquire()
22 l4re_inhibitor_release(l4_cap_idx_t cap, l4_umword_t id) in l4re_inhibitor_release() argument
24 return L4::Cap<L4Re::Inhibitor>(cap)->release(id); in l4re_inhibitor_release()
28 l4re_inhibitor_next_lock_info(l4_cap_idx_t cap, char *name, in l4re_inhibitor_next_lock_info() argument
31 return L4::Cap<L4Re::Inhibitor>(cap)->next_lock_info(name, len, current_id); in l4re_inhibitor_next_lock_info()
/l4re-core-master/l4re/util/libs/
A Dname_space_svr.cc116 free_capability(n->obj()->cap()); in op_query()
145 snd_cap = L4::Ipc::Snd_fpage(n->obj()->cap(), flags); in op_query()
165 free_capability(n->obj()->cap()); in insert_entry()
204 L4::Ipc::Snd_fpage &cap) in op_register_obj() argument
215 if (cap.id_received() || cap.local_id_received()) in op_register_obj()
217 if (int ret = get_epiface(cap.data(), cap.local_id_received(), &src_o)) in op_register_obj()
221 flags &= (cap.data() & 0x3UL) | ~0x3UL; in op_register_obj()
223 else if (cap.cap_received()) in op_register_obj()
228 else if (!cap.is_valid()) in op_register_obj()
243 if (cap.cap_received()) in op_register_obj()
[all …]
/l4re-core-master/l4re_c/util/lib/
A Dcap_alloc.cc24 return L4Re::Util::cap_alloc.alloc<void>().cap(); in l4re_util_cap_alloc()
27 void l4re_util_cap_free(l4_cap_idx_t cap) L4_NOTHROW in l4re_util_cap_free() argument
29 L4Re::Util::cap_alloc.free(L4::Cap<void>(cap)); in l4re_util_cap_free()
32 void l4re_util_cap_free_um(l4_cap_idx_t cap) L4_NOTHROW in l4re_util_cap_free_um() argument
34 L4Re::Util::cap_alloc.free(L4::Cap<void>(cap), L4Re::This_task); in l4re_util_cap_free_um()
/l4re-core-master/l4re/util/include/
A Denv_ns40 L4::Cap<L4Re::Namespace> ns(e->cap);
41 L4::Cap<void> cap = _ca->alloc<void>();
43 if (!cap.is_valid())
46 long r = ns->query(n + 1, len - 1, cap, timeout, local_id, iterate);
48 return cap;
50 _ca->free(cap);
55 return L4::Cap<void>(e->cap);
A Dbitmap_cap_alloc51 long cap = _items.alloc();
52 if (cap < 0)
55 return L4::Cap<void>((cap + _bias) << L4_CAP_SHIFT);
65 { return L4::Cap<T>(alloc().cap()); }
69 long idx = (c.cap() >> L4_CAP_SHIFT);
82 void free(L4::Cap<T> const &cap, l4_cap_idx_t task = L4_INVALID_CAP,
85 long idx = (cap.cap() >> L4_CAP_SHIFT);
94 l4_task_unmap(task, cap.fpage(), unmap_flags | 2);
A Dcounting_cap_alloc51 * Internal reference-counting cap allocator
168 void take(L4::Cap<void> cap) noexcept
170 long c = cap.cap() >> L4_CAP_SHIFT;
185 * \param cap Capability to free.
195 bool free(L4::Cap<void> cap, l4_cap_idx_t task = L4_INVALID_CAP,
198 long c = cap.cap() >> L4_CAP_SHIFT;
210 l4_task_unmap(task, cap.fpage(), unmap_flags);
223 * \param cap Capability to release.
238 bool release(L4::Cap<void> cap, l4_cap_idx_t task = L4_INVALID_CAP,
241 long c = cap.cap() >> L4_CAP_SHIFT;
[all …]
A Dobject_registry126 if (!cap.is_valid())
127 return cap;
129 return _register_ep(o, cap, demand);
140 if (!cap.is_valid())
141 return cap.get();
148 err = o->set_server(_sif, cap.get(), true);
152 return cap.release();
164 if (!cap.is_valid())
165 return cap.get();
176 err = o->set_server(_sif, cap.get(), true);
[all …]
A Dcap4 * \file cap
38 L4_CV static inline l4_msgtag_t cap_release(L4::Cap<void> cap)
41 l4_obj_fpage(cap.cap(), 0, L4_FPAGE_RWX),
/l4re-core-master/l4re_c/include/
A Dnamespace.h67 l4_cap_idx_t const cap, int timeout) L4_NOTHROW;
87 l4_cap_idx_t const cap) L4_NOTHROW;
106 l4_cap_idx_t const cap) L4_NOTHROW in l4re_ns_query_srv() argument
108 return l4re_ns_query_to_srv(srv, name, cap, 40000); in l4re_ns_query_srv()
A Dinhibitor.h29 l4re_inhibitor_acquire(l4_cap_idx_t cap, l4_umword_t id,
40 l4re_inhibitor_release(l4_cap_idx_t cap, l4_umword_t id);
56 l4re_inhibitor_next_lock_info(l4_cap_idx_t cap, char *name,
/l4re-core-master/l4re/include/impl/
A Dnamespace_impl.h49 L4::Ipc::Snd_fpage cap; in _query() local
52 L4::Ipc::Small_buf(target.cap(), in _query()
56 cap, dummy, _name); in _query()
61 if (cap.id_received()) in _query()
63 *local_id = cap.data(); in _query()

Completed in 41 milliseconds

1234