diff --git a/repos/base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc b/repos/base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc
index f343be265b..34ce968505 100644
--- a/repos/base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc
+++ b/repos/base-hw/src/core/spec/arm_v7/trustzone/kernel/vm.cc
@@ -39,7 +39,7 @@ Kernel::Vm::Vm(unsigned,
 void Vm::exception(Cpu & cpu)
 {
 	switch(_state.cpu_exception) {
-	case Genode::Cpu_state::INTERRUPT_REQUEST: [[fallthrough]]
+	case Genode::Cpu_state::INTERRUPT_REQUEST: [[fallthrough]];
 	case Genode::Cpu_state::FAST_INTERRUPT_REQUEST:
 		_interrupt(cpu.id());
 		return;