Remove unneeded address

capablevms · Jan 17, 2022 · 420bddc · 420bddc
1 parent d129562
commit 420bddc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/hybrid/compartment_examples/inter_comp_call/secure-try_deref/main.c b/hybrid/compartment_examples/inter_comp_call/secure-try_deref/main.c
@@ -134,7 +134,7 @@ struct comp comps[COMP_COUNT];
 void init_comps()
 {
 	void *__capability switch_cap = (void *__capability) switch_compartment;
-	size_t switcher_size = (uintptr_t) &switch_compartment_end - (uintptr_t) switch_compartment;
+	size_t switcher_size = (uintptr_t) switch_compartment_end - (uintptr_t) switch_compartment;
 	switch_cap = cheri_bounds_set(switch_cap, switcher_size);
 	switcher_caps[1] = switch_cap;
 

diff --git a/hybrid/compartment_examples/inter_comp_call/secure/main.c b/hybrid/compartment_examples/inter_comp_call/secure/main.c
@@ -134,7 +134,7 @@ struct comp comps[COMP_COUNT];
 void init_comps()
 {
 	void *__capability switch_cap = (void *__capability) switch_compartment;
-	size_t switcher_size = (uintptr_t) &switch_compartment_end - (uintptr_t) switch_compartment;
+	size_t switcher_size = (uintptr_t) switch_compartment_end - (uintptr_t) switch_compartment;
 	switch_cap = cheri_bounds_set(switch_cap, switcher_size);
 	switcher_caps[1] = switch_cap;