Searched refs:vcpu_idx (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dvm.c238 seL4_Word vcpu_idx = VCPU_BADGE_IDX(sender_badge); local
239 if (vcpu_idx >= vm->num_vcpus) {
244 ret = arm_exit_handlers[vm_exit_reason](vm->vcpus[vcpu_idx]);

Completed in 22 milliseconds