commit ca1caa35cf0c499107950fb5349ea24765913ebc
author Anna Lyons <Anna.Lyons@data61.csiro.au> Thu Jun 20 12:10:25 2019 +1000
committer Anna Lyons <Anna.Lyons@data61.csiro.au> Thu Jun 20 12:11:39 2019 +1000
tree fabf57844f2f5bdaf8bd564ec04f2d289cce1e1b
parent be070764a421769fbf6e9d70e5f91fa0637e3ced

trivial: style

libsel4utils/src/mapping.c

diff --git a/libsel4utils/src/mapping.c b/libsel4utils/src/mapping.c
index e3c1f4e..81d94d9 100644
--- a/libsel4utils/src/mapping.c
+++ b/libsel4utils/src/mapping.c
@@ -100,7 +100,8 @@
 {
     vka_object_t objects[3];
     int num_objects;
-    int error = map_page(vka, seL4_X86_Page_MapEPT, vspace_get_ept_map_obj, pd, frame, (void *) vaddr, rights, cacheable, objects,
+    int error = map_page(vka, seL4_X86_Page_MapEPT, vspace_get_ept_map_obj, pd, frame, (void *) vaddr, rights, cacheable,
+                         objects,
                          &num_objects);
     *pagetable = objects[0];
     *pagedir = objects[1];