fixup! 1 compartment to N mappings

CHERI clang-format pass
capablevms · Dec 16, 2024 · 3e1064c · 3e1064c
1 parent 158d7f5
commit 3e1064c
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/manager.c b/src/manager.c
@@ -37,8 +37,7 @@ extern char **environ;
  ******************************************************************************/
 
 static void *get_next_comp_addr(size_t);
-static void *__capability
-make_new_ddc(struct Compartment *, void *);
+static void *__capability make_new_ddc(struct Compartment *, void *);
 
 static struct CompConfig *
 parse_compartment_config_file(char *, bool);
@@ -125,8 +124,8 @@ get_next_comp_addr(size_t comp_sz)
     return next_addr;
 }
 
-static void *__capability
-make_new_ddc(struct Compartment *comp, void *target_addr)
+static void *__capability make_new_ddc(
+    struct Compartment *comp, void *target_addr)
 {
     void *__capability new_ddc
         = cheri_address_set(cheri_ddc_get(), (intptr_t) target_addr);