X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/013297c0d65e3dab85bb75c5a104babaebedd230..56a09572268504317eb2885b827f9c4378071a7c:/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 d61488182..e59714175 100644
--- 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();