update

[l4.git] / l4 / pkg / plr / server / src / fault_handlers / syscalls.cc

diff --git a/l4/pkg/plr/server/src/fault_handlers/syscalls.cc b/l4/pkg/plr/server/src/fault_handlers/syscalls.cc
index d614881826d2f097eb91b2bd5b6c98cf6388ffee..e59714175f413250440d748e595e854f08bbb3f7 100644 (file)
--- a/l4/pkg/plr/server/src/fault_handlers/syscalls.cc
+++ b/l4/pkg/plr/server/src/fault_handlers/syscalls.cc
@@ -267,6 +267,7 @@ Romain::RegionManagingHandler::handle(Romain::App_instance* i,
                Romain::Rm_guard r(a->rm(), i->id());
                L4::Ipc::Iostream ios(utcb);
                L4Re::Util::region_map_server<Romain::Region_map_server>(a->rm(), ios);
+               t->vcpu()->r()->ax = 0;
        }
 
        //t->print_vcpu_state();