libsel4test: Add smc cap to test env

This allows tests to have the initial smc cap when that support is enabled. Signed-off-by: Robbie VanVossen <robert.vanvossen@dornerworks.com>
seL4 · Dec 8, 2022 · 872983f · 872983f
1 parent 19cd448
commit 872983f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/libsel4test/include/sel4test/test.h b/libsel4test/include/sel4test/test.h
@@ -56,6 +56,9 @@ struct env {
     seL4_CPtr asid_pool;
     seL4_CPtr asid_ctrl;
     seL4_CPtr sched_ctrl;
+#ifdef CONFIG_ALLOW_SMC_CALLS
+    seL4_CPtr smc;
+#endif /* CONFIG_ALLOW_SMC_CALLS */
 #ifdef CONFIG_IOMMU
     seL4_CPtr io_space;
 #endif /* CONFIG_IOMMU */