update

[l4.git] / l4 / pkg / l4re / util / include / region_mapping_svr

diff --git a/l4/pkg/l4re/util/include/region_mapping_svr b/l4/pkg/l4re/util/include/region_mapping_svr
index 2fe89b5ffe8ba8effbcb82c130c63549296e94ef..6836084826abf1b921c03a0eee50118e9f8eef22 100644 (file)
--- a/l4/pkg/l4re/util/include/region_mapping_svr
+++ b/l4/pkg/l4re/util/include/region_mapping_svr
@@ -160,8 +160,8 @@ int region_map_server(RM *rm, IOS &ios)
 template<typename Dbg, typename RM, typename IOS>
 int region_pf_handler(RM *rm, IOS &ios)
 {
-  l4_umword_t addr, pc;
-  ios >> addr >> pc;
+  l4_umword_t addr, pc, sp;
+  ios >> addr >> pc >> sp;
   Dbg(Dbg::Server).printf("page fault: %lx pc=%lx\n", addr, pc);
 
   register unsigned writable = addr & 2;
@@ -191,7 +191,7 @@ int region_pf_handler(RM *rm, IOS &ios)
   typename RM::Region_handler::Ops::Map_result result;
   if (int err = n->second.map(addr, n->first, writable, &result))
     {
-      Dbg(Dbg::Warn, "rm").printf("mapping for pf failed with %d @%lx pc=%lx\n",
+      Dbg(Dbg::Warn, "rm").printf("mapping for page fault failed with %d @%lx pc=%lx\n",
                                   err, addr, pc);
       // generate exception
       ios << (l4_umword_t)~0;