From 67dab949b2749e5061c83c17cf03491f5b89e598 Mon Sep 17 00:00:00 2001 From: Alex Pavey Date: Tue, 30 Nov 2021 16:27:21 -0500 Subject: [PATCH] smc_cap: Update SMC Cap tracking in vm struct Signed-off-by: Robbie VanVossen --- components/VM_Arm/src/main.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/components/VM_Arm/src/main.c b/components/VM_Arm/src/main.c index 0f27aa7b..40f0e970 100644 --- 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 */