diff --git a/repos/base-hw/src/core/spec/arm_v8/kernel/thread.cc b/repos/base-hw/src/core/spec/arm_v8/kernel/thread.cc
index b81bb78b06..32530b33f8 100644
--- a/repos/base-hw/src/core/spec/arm_v8/kernel/thread.cc
+++ b/repos/base-hw/src/core/spec/arm_v8/kernel/thread.cc
@@ -28,13 +28,13 @@ void Thread::exception(Cpu & cpu)
 {
 	switch (regs->exception_type) {
 	case Cpu::RESET:         return;
-	case Cpu::IRQ_LEVEL_EL0: [[fallthrough]]
-	case Cpu::IRQ_LEVEL_EL1: [[fallthrough]]
-	case Cpu::FIQ_LEVEL_EL0: [[fallthrough]]
+	case Cpu::IRQ_LEVEL_EL0: [[fallthrough]];
+	case Cpu::IRQ_LEVEL_EL1: [[fallthrough]];
+	case Cpu::FIQ_LEVEL_EL0: [[fallthrough]];
 	case Cpu::FIQ_LEVEL_EL1:
 		_interrupt(cpu.id());
 		return;
-	case Cpu::SYNC_LEVEL_EL0: [[fallthrough]]
+	case Cpu::SYNC_LEVEL_EL0: [[fallthrough]];
 	case Cpu::SYNC_LEVEL_EL1:
 		{
 			Cpu::Esr::access_t esr = Cpu::Esr_el1::read();
diff --git a/repos/base-hw/src/core/spec/arm_v8/virtualization/kernel/vm.cc b/repos/base-hw/src/core/spec/arm_v8/virtualization/kernel/vm.cc
index ca8302c382..9d646ee735 100644
--- a/repos/base-hw/src/core/spec/arm_v8/virtualization/kernel/vm.cc
+++ b/repos/base-hw/src/core/spec/arm_v8/virtualization/kernel/vm.cc
@@ -146,15 +146,15 @@ Vm::Vm(unsigned                 cpu,
 void Vm::exception(Cpu & cpu)
 {
 	switch (_state.exception_type) {
-	case Cpu::IRQ_LEVEL_EL0: [[fallthrough]]
-	case Cpu::IRQ_LEVEL_EL1: [[fallthrough]]
-	case Cpu::FIQ_LEVEL_EL0: [[fallthrough]]
+	case Cpu::IRQ_LEVEL_EL0: [[fallthrough]];
+	case Cpu::IRQ_LEVEL_EL1: [[fallthrough]];
+	case Cpu::FIQ_LEVEL_EL0: [[fallthrough]];
 	case Cpu::FIQ_LEVEL_EL1:
 		_interrupt(cpu.id());
 		break;
-	case Cpu::SYNC_LEVEL_EL0: [[fallthrough]]
-	case Cpu::SYNC_LEVEL_EL1: [[fallthrough]]
-	case Cpu::SERR_LEVEL_EL0: [[fallthrough]]
+	case Cpu::SYNC_LEVEL_EL0: [[fallthrough]];
+	case Cpu::SYNC_LEVEL_EL1: [[fallthrough]];
+	case Cpu::SERR_LEVEL_EL0: [[fallthrough]];
 	case Cpu::SERR_LEVEL_EL1:
 		pause();
 		_context.submit(1);