commit d6674667a0df02bba625397aca5cb457d35ccd37
author Axel Heider <axelheider@gmx.de> Fri Aug 13 02:05:28 2021 +0200
committer Gerwin Klein <gerwin@doclsf.de> Fri Aug 13 14:57:37 2021 +1000
tree 8546152335860016752ae8c91d194c877a6b0492
parent 99b96310018d9f614ccf73cb6b5595c52041696a

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);