Home
last modified time | relevance | path

Searched refs:src_cap (Results 1 – 4 of 4) sorted by relevance

/l4re-core-master/moe/server/src/
A Ddataspace.cc98 L4::Ipc::Snd_fpage const &src_cap, in op_copy_in() argument
104 if (src_cap.id_received()) in op_copy_in()
105 src = dynamic_cast<Moe::Dataspace*>(object_pool.find(src_cap.data())); in op_copy_in()
A Ddma_space.cc264 static Dataspace *_get_ds(L4::Ipc::Snd_fpage src_cap) in _get_ds() argument
266 if (!src_cap.id_received()) in _get_ds()
269 if (!(src_cap.data() & L4_CAP_FPAGE_W)) in _get_ds()
273 = dynamic_cast<Dataspace*>(object_pool.find(src_cap.data())); in _get_ds()
A Ddataspace.h142 L4::Ipc::Snd_fpage const &src_cap,
/l4re-core-master/l4re/util/include/
A Ddataspace_svr198 L4::Ipc::Snd_fpage const &src_cap,
202 if (!src_cap.id_received())
211 return copy(dst_offs, src_cap.data(), src_offs, sz);

Completed in 14 milliseconds