trivial: style

Signed-off-by: Axel Heider <axelheider@gmx.de>

libsel4vspace/src/arch/arm/mapping.c

diff --git a/libsel4vspace/src/arch/arm/mapping.c b/libsel4vspace/src/arch/arm/mapping.c
index 9460665..e9d55c2 100644
--- a/libsel4vspace/src/arch/arm/mapping.c
+++ b/libsel4vspace/src/arch/arm/mapping.c
@@ -7,7 +7,8 @@
 #include <autoconf.h>
 #include <vspace/mapping.h>
 
-static seL4_Error vspace_map_io(seL4_CPtr cap, seL4_CPtr iospace_root, seL4_Word vaddr, UNUSED seL4_Word attr)
+static seL4_Error vspace_map_io(seL4_CPtr cap, seL4_CPtr iospace_root,
+                                seL4_Word vaddr, UNUSED seL4_Word attr)
 {
 #ifdef CONFIG_TK1_SMMU
     return seL4_ARM_IOPageTable_Map(cap, iospace_root, vaddr);

libsel4vspace/src/arch/x86/mapping.c

diff --git a/libsel4vspace/src/arch/x86/mapping.c b/libsel4vspace/src/arch/x86/mapping.c
index f37acf9..c6f0fc7 100644
--- a/libsel4vspace/src/arch/x86/mapping.c
+++ b/libsel4vspace/src/arch/x86/mapping.c
@@ -8,7 +8,8 @@
 #include <vspace/mapping.h>
 #include <sel4/arch/mapping.h>
 
-static seL4_Error vspace_map_io(seL4_CPtr cap, seL4_CPtr iospace_root, seL4_Word vaddr, UNUSED seL4_Word attr)
+static seL4_Error vspace_map_io(seL4_CPtr cap, seL4_CPtr iospace_root,
+                                seL4_Word vaddr, UNUSED seL4_Word attr)
 {
 #ifdef CONFIG_IOMMU
     return seL4_X86_IOPageTable_Map(cap, iospace_root, vaddr);