Lines Matching refs:Dataspace
69 * \see L4Re::Dataspace, L4Re::Rm,
85 typedef L4Re::Dataspace::Offset Offset;
102 Caching_shift = Dataspace::F::Caching_shift,
127 R = Dataspace::F::R,
128 W = Dataspace::F::W,
129 X = Dataspace::F::X,
130 RW = Dataspace::F::RW,
131 RX = Dataspace::F::RX,
132 RWX = Dataspace::F::RWX,
143 Caching_mask = Dataspace::F::Caching_mask,
145 Cache_normal = Dataspace::F::Normal,
147 Cache_buffered = Dataspace::F::Bufferable,
149 Cache_uncached = Dataspace::F::Uncacheable,
160 friend constexpr Dataspace::Flags map_flags(Region_flags rf)
162 return Dataspace::Flags((l4_uint16_t)rf & Ds_map_mask);
173 friend constexpr Dataspace::Flags map_flags(Flags f)
175 return Dataspace::Flags(f.raw & Ds_map_mask);
312 L4::Ipc::Opt<L4::Ipc::Cap<Dataspace> > mem,
343 * also return L4Re::Dataspace::map error codes if the
371 L4::Ipc::Cap<Dataspace> mem, Offset offs = 0,
379 L4::Ipc::Cap<Dataspace> mem, Offset offs = 0,
462 L4::Ipc::Cap<Dataspace> mem, Offset offs = 0,
481 * \param[out] mem Dataspace that is affected. Give 0 if not interested.
493 int detach(l4_addr_t addr, L4::Cap<Dataspace> *mem,
499 int detach(void *addr, L4::Cap<Dataspace> *mem,
507 * \param[out] mem Dataspace that is affected. Give 0 if not interested.
521 int detach(l4_addr_t start, unsigned long size, L4::Cap<Dataspace> *mem,
554 | | Region | Dataspace |
569 L4Re::Rm::Flags *flags, L4::Cap<Dataspace> *m) noexcept
575 L4::Ipc::As_value<L4::Cap<Dataspace> > *m));
636 int detach(l4_addr_t start, unsigned long size, L4::Cap<Dataspace> *mem,
646 Rm::detach(l4_addr_t addr, L4::Cap<Dataspace> *mem,
651 Rm::detach(void *addr, L4::Cap<Dataspace> *mem,
656 Rm::detach(l4_addr_t addr, unsigned long size, L4::Cap<Dataspace> *mem,