trivial: Fix style

libsel4simple/arch_include/arm/simple/arch/simple.h

diff --git a/libsel4simple/arch_include/arm/simple/arch/simple.h b/libsel4simple/arch_include/arm/simple/arch/simple.h
index 4ae12aa..01a8dac 100644
--- a/libsel4simple/arch_include/arm/simple/arch/simple.h
+++ b/libsel4simple/arch_include/arm/simple/arch/simple.h
@@ -74,7 +74,7 @@
 }
 
 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core,
-                                                     cspacepath_t path)
+                                                         cspacepath_t path)
 {
     if (!simple) {
         ZF_LOGE("Simple is NULL");