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