Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

SMC Capability #16

Merged
merged 1 commit into from
Sep 14, 2023
Merged

SMC Capability #16

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 24 additions & 0 deletions components/VM_Arm/src/main.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,7 @@
#include <sel4vmmplatsupport/arch/guest_reboot.h>
#include <sel4vmmplatsupport/arch/guest_vcpu_fault.h>
#include <sel4vmmplatsupport/guest_vcpu_util.h>
#include <sel4vmmplatsupport/arch/smc.h>

#include <sel4utils/process.h>
#include <sel4utils/irq_server.h>
Expand Down Expand Up @@ -127,6 +128,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];
Expand Down Expand Up @@ -1141,6 +1146,20 @@ memory_fault_result_t unhandled_mem_fault_callback(vm_t *vm, vm_vcpu_t *vcpu,
return FAULT_ERROR;
}

#ifdef CONFIG_ALLOW_SMC_CALLS
int vm_smc_handler(vm_vcpu_t *vcpu, seL4_UserContext *regs)
{
int err;
seL4_Word id = smc_get_function_id(regs);
seL4_ARM_SMC smc_cap = camkes_get_smc_cap(id);
if (smc_cap) {
return smc_forward(vcpu, regs, smc_cap);
} else {
return vm_smc_handle_default(vcpu, regs);
}
}
#endif

static int main_continued(void)
{
vm_t vm;
Expand Down Expand Up @@ -1233,6 +1252,11 @@ static int main_continued(void)
err = vm_create_default_irq_controller(&vm);
assert(!err);

#ifdef CONFIG_ALLOW_SMC_CALLS
err = vm_register_smc_handler_callback(&vm, vm_smc_handler);
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);
Expand Down