smc_cap: Update SMC Cap tracking in vm struct

Signed-off-by: Robbie VanVossen <[email protected]>
seL4 · Aug 14, 2023 · 67dab94 · 67dab94
1 parent 921806b
commit 67dab94
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/components/VM_Arm/src/main.c b/components/VM_Arm/src/main.c
@@ -128,7 +128,7 @@ seL4_CPtr camkes_get_smmu_sid_cap();
 #endif
 
 #ifdef CONFIG_ALLOW_SMC_CALLS
-seL4_CPtr camkes_get_smc_cap();
+seL4_CPtr camkes_get_smc_cap(seL4_Word smc_call);
 #endif
 
 int get_crossvm_irq_num(void)
@@ -1238,7 +1238,7 @@ static int main_continued(void)
     assert(!err);
 
 #ifdef CONFIG_ALLOW_SMC_CALLS
-    vm.vm_smc = camkes_get_smc_cap();
+    vm.vm_get_smc_cap = &camkes_get_smc_cap;
 #endif
 
     /* Create CPUs and DTB node */