int Region_ops::map(Region_handler const *h, l4_addr_t adr,
L4Re::Util::Region const &r, bool writable,
- L4::Snd_fpage *result)
+ L4::Ipc::Snd_fpage *result)
{
l4_addr_t offs = adr - r.start();
offs = l4_trunc_page(offs);
Dbg(Dbg::Warn).printf("WARNING: "
"Writable mapping request on read-only region at %lx!\n",
adr);
- *result = L4::Snd_fpage(h->memory()->address(offs + h->offset(), rw, adr,
+ *result = L4::Ipc::Snd_fpage(h->memory()->address(offs + h->offset(), rw, adr,
r.start(), r.end()).fp(), offs + r.start());
return L4_EOK;
public:
typedef Moe::Dataspace const *Dataspace;
enum { Have_find = false };
- static int validate_ds(L4::Snd_fpage const &ds_cap,
+ static int validate_ds(L4::Ipc::Snd_fpage const &ds_cap,
unsigned flags, Dataspace *ds)
{
if (flags & L4Re::Rm::Pager)
};
int
-Region_map::dispatch(l4_umword_t, L4::Ipc_iostream &ios)
+Region_map::dispatch(l4_umword_t, L4::Ipc::Iostream &ios)
{
Dbg warn(Dbg::Warn, "WARN");
l4_msgtag_t tag;