Update

[l4.git] / l4 / pkg / plr / server / src / memory

diff --git a/l4/pkg/plr/server/src/memory b/l4/pkg/plr/server/src/memory
index d8db81dec59e227bf985e99dc109ef81bc5bcb5f..7f27e400f425352fd8a64d6c23c976f54514c9e6 100644 (file)
--- a/l4/pkg/plr/server/src/memory
+++ b/l4/pkg/plr/server/src/memory
@@ -291,7 +291,7 @@ namespace Romain
                        void         release() const                        { Ops::release(this); }
 
 
-                       Region_handler_template operator + (long offset) throw()
+                       Region_handler_template operator + (long offset) const throw()
                        { Region_handler_template n = *this; n._offs += offset; return n; }
 
                        void unmap(l4_addr_t va, l4_addr_t ds_offs, l4_umword_t size) const throw()
@@ -578,7 +578,7 @@ namespace Romain
                        typedef L4::Cap<L4Re::Dataspace> Dataspace;
                        enum { Have_find = true };
 
-                       static int validate_ds(L4::Ipc::Snd_fpage const &ds_cap,
+                       static int validate_ds(void *, L4::Ipc::Snd_fpage const &ds_cap,
                                               l4_umword_t, L4::Cap<L4Re::Dataspace> *ds)
                        {
                                /*