62 public L4::Kobject_t<Dataspace, L4::Kobject, L4RE_PROTO_DATASPACE,
63 L4::Type_info::Demand_t<1> >
119 explicit constexpr Flags(
unsigned long f) : raw(f) {}
120 constexpr Flags(F::Flags f) : raw(f) {}
121 constexpr bool r()
const {
return raw &
L4_FPAGE_RO; }
122 constexpr bool w()
const {
return raw &
L4_FPAGE_W; }
123 constexpr bool x()
const {
return raw &
L4_FPAGE_X; }
125 constexpr unsigned long fpage_rights()
const
126 {
return raw & 0xf; }
167 long map(Offset offset, Flags flags, Map_addr local_addr,
168 Map_addr min_addr, Map_addr max_addr,
198 long map_region(Offset offset, Flags flags,
199 Map_addr min_addr, Map_addr max_addr,
219 L4_RPC(
long, clear, (Offset offset, Size size));
240 L4_RPC(
long, allocate, (Offset offset, Size size));
261 Offset src_offs, Size size));
268 Size size() const noexcept;
278 Flags flags() const noexcept;
290 L4_RPC_NF(
long, map, (Offset offset, Map_addr spot,
291 Flags flags,
L4::Ipc::Rcv_fpage r,
292 L4::Ipc::Snd_fpage &fp));
323 long __map(Offset offset,
unsigned char *order, Flags flags,
328 allocate_t, map_info_t> Rpcs;
@ L4_FPAGE_RWX
Read-write-execute flex page.
#define L4_RPC(res, name, args, attr...)
Define an RPC call (type and callable).
#define L4_RPC_NF(res, name, args...)
Define an RPC call type (the type only, no callable).