smc_cap: Register camkes get_smc_cap callback

Signed-off-by: Robbie VanVossen <[email protected]>
seL4 · Aug 30, 2023 · 785b2ab · 785b2ab
1 parent 280208d
commit 785b2ab
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/components/VM_Arm/src/main.c b/components/VM_Arm/src/main.c
@@ -127,6 +127,10 @@ seL4_CPtr camkes_get_smmu_cb_cap();
 seL4_CPtr camkes_get_smmu_sid_cap();
 #endif
 
+#ifdef CONFIG_ALLOW_SMC_CALLS
+seL4_CPtr camkes_get_smc_cap(seL4_Word smc_call);
+#endif
+
 int get_crossvm_irq_num(void)
 {
     return free_plat_interrupts[0];
@@ -1233,6 +1237,11 @@ static int main_continued(void)
     err = vm_create_default_irq_controller(&vm);
     assert(!err);
 
+#ifdef CONFIG_ALLOW_SMC_CALLS
+    err = vm_register_get_smc_cap_callback(&vm, camkes_get_smc_cap);
+    assert(!err);
+#endif
+
     /* Create CPUs and DTB node */
     for (int i = 0; i < NUM_VCPUS; i++) {
         vm_vcpu_t *new_vcpu = create_vmm_plat_vcpu(&vm, VM_PRIO - 1);