update

[l4.git] / l4 / pkg / plr / server / src / fault_handlers / observers.h

diff --git a/l4/pkg/plr/server/src/fault_handlers/observers.h b/l4/pkg/plr/server/src/fault_handlers/observers.h
index 71749906813b2f9670944f04edcddf2cdf363988..7cd2acad9fbf64cb4f4f6d713f5242961fb02562 100644 (file)
--- a/l4/pkg/plr/server/src/fault_handlers/observers.h
+++ b/l4/pkg/plr/server/src/fault_handlers/observers.h
@@ -75,6 +75,10 @@ namespace Romain
                private:
                bool _readonly;
 
+               l4_umword_t fit_alignment(Romain::Region const * local,
+                                         L4Re::Util::Region const * remote,
+                                         l4_umword_t offset, Romain::App_thread *t);
+
                DECLARE_OBSERVER("pf");
                PageFaultObserver();