diff --git a/repos/os/src/server/vmm/spec/arm_v8/cpu.h b/repos/os/src/server/vmm/spec/arm_v8/cpu.h index 664059ddc0..f0804beb7e 100644 --- a/repos/os/src/server/vmm/spec/arm_v8/cpu.h +++ b/repos/os/src/server/vmm/spec/arm_v8/cpu.h @@ -70,8 +70,6 @@ class Vmm::Cpu template void handle_signal(FUNC handler) { - Genode::Lock::Guard guard(lock()); - if (active()) { pause(); handle_exception();