/l4re-core-master/l4sys/include/ |
A D | debugger.h | 74 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 D | task | 75 { 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 D | task.h | 183 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 D | smart_capability | 49 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 D | obj_reg.h | 117 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 D | name_space.cc | 40 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 D | early.h | 34 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 D | name_space.h | 66 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 D | capability.h | 52 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 D | smart_capability_1x | 54 : 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 D | ipc_types | 279 : _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 D | lua_ns.cc | 35 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 D | cap_alloc | 57 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 D | env.h | 55 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 D | inhibitor.cc | 15 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 D | name_space_svr.cc | 116 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 D | cap_alloc.cc | 24 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 D | env_ns | 40 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 D | bitmap_cap_alloc | 51 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 D | counting_cap_alloc | 51 * 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 D | object_registry | 126 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 D | cap | 4 * \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 D | namespace.h | 67 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 D | inhibitor.h | 29 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 D | namespace_impl.h | 49 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()
|