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

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dvm.c233 int vm_exit_reason; local
243 vm_exit_reason = vm_decode_exit(label);
244 ret = arm_exit_handlers[vm_exit_reason](vm->vcpus[vcpu_idx]);

Completed in 103 milliseconds