Searched refs:ds_cap (Results 1 – 7 of 7) sorted by relevance
| /l4re-core-master/l4re/util/include/ |
| A D | shared_cap | 46 * ds_cap = make_shared_cap<L4Re::Dataspace>();
50 * L4Re::chksys(mem_alloc->alloc(4096, ds_cap.get()));
52 * global_ds_cap = ds_cap;
56 * // reference count dropped to 1 (ds_cap is no longer existing).
93 * ds_cap = make_shared_del_cap<L4Re::Dataspace>();
97 * L4Re::chksys(mem_alloc->alloc(4096, ds_cap.get()));
99 * global_ds_cap = ds_cap;
103 * // reference count dropped to 1 (ds_cap is no longer existing).
|
| A D | unique_cap | 42 * ds_cap = L4Re::Util::make_unique_cap<L4Re::Dataspace>();
45 * L4Re::chksys(mem_alloc->alloc(L4_PAGESIZE, ds_cap.get()));
49 * // At the end of the scope ds_cap is unmapped and the capability
83 * ds_cap = make_unique_del_cap<L4Re::Dataspace>());
86 * L4Re::chksys(mem_alloc->alloc(L4_PAGESIZE, ds_cap.get()));
90 * // At the end of the scope ds_cap is unmapped and the capability
|
| A D | cap_alloc | 151 * ds_cap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>());
155 * L4Re::chksys(mem_alloc->alloc(4096, ds_cap.get()));
157 * global_ds_cap = ds_cap;
161 * // reference count dropped to 1 (ds_cap is no longer existing).
189 * ds_cap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>());
193 * L4Re::chksys(mem_alloc->alloc(4096, ds_cap.get()));
195 * global_ds_cap = ds_cap;
199 * // reference count dropped to 1 (ds_cap is no longer existing).
|
| A D | region_mapping_svr_2 | 45 L4::Ipc::Snd_fpage ds_cap, L4Re::Rm::Offset offs,
52 …if (long r = rm()->validate_ds(static_cast<DERIVED*>(this)->server_iface(), ds_cap, flags.region_f…
|
| /l4re-core-master/moe/server/src/ |
| A D | region.cc | 78 Region_map::validate_ds(void *, L4::Ipc::Snd_fpage const &ds_cap, in validate_ds() argument
84 if (!ds_cap.id_received()) in validate_ds()
87 auto *moe_ds = dynamic_cast<Moe::Dataspace*>(object_pool.find(ds_cap.data())); in validate_ds()
94 if ((map_flags(flags) & moe_ds->map_flags(ds_cap.data())) != map_flags(flags)) in validate_ds()
|
| A D | region.h | 50 static int validate_ds(void *, L4::Ipc::Snd_fpage const &ds_cap,
|
| /l4re-core-master/l4re_kernel/server/src/ |
| A D | region.h | 50 static int validate_ds(void *, L4::Ipc::Snd_fpage const &ds_cap, in validate_ds() argument
55 if (ds_cap.local_id_received()) in validate_ds()
58 *ds = L4::Cap<L4Re::Dataspace>(ds_cap.base()); in validate_ds()
|
Completed in 8 milliseconds