diff --git a/so3/arch/arm32/include/asm/processor.h b/so3/arch/arm32/include/asm/processor.h
index 52cb36b61..dbfd973da 100644
--- a/so3/arch/arm32/include/asm/processor.h
+++ b/so3/arch/arm32/include/asm/processor.h
@@ -400,8 +400,7 @@ static inline uint32_t local_save_flags(void)
 {
 	uint32_t flags;
 
-	asm volatile("mrs	%0, " IRQMASK_REG_NAME_R
-		     "	@ local_save_flags"
+	asm volatile("mrs	%0, " IRQMASK_REG_NAME_R "	@ local_save_flags"
 		     : "=r"(flags)
 		     :
 		     : "memory", "cc");
diff --git a/so3/arch/arm64/include/asm/processor.h b/so3/arch/arm64/include/asm/processor.h
index c3b42fea0..c1a63607c 100644
--- a/so3/arch/arm64/include/asm/processor.h
+++ b/so3/arch/arm64/include/asm/processor.h
@@ -1170,10 +1170,9 @@ static inline int irqs_disabled_flags(cpu_regs_t *regs)
 
 static inline void local_irq_enable(void)
 {
-	asm volatile(
-		"msr	daifclr, #2		// arch_local_irq_enable\n"
-		"nop" ::
-			: "memory");
+	asm volatile("msr	daifclr, #2		// arch_local_irq_enable\n"
+		     "nop" ::
+			     : "memory");
 }
 
 static inline void local_irq_disable(void)