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

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dvm.c48 int exit_reason = VM_UNKNOWN_EXIT; local
52 exit_reason = VM_GUEST_ABORT_EXIT;
55 exit_reason = VM_SYSCALL_EXIT;
58 exit_reason = VM_USER_EXCEPTION_EXIT;
61 exit_reason = VM_VGIC_MAINTENANCE_EXIT;
64 exit_reason = VM_VCPU_EXIT;
67 exit_reason = VM_VPPI_EXIT;
70 exit_reason = VM_UNKNOWN_EXIT;
72 return exit_reason;
163 vcpu->vm->run.exit_reason
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vm.h146 * @param {int} exit_reason Records last vm exit reason
151 int exit_reason; member in struct:vm_run
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dboot.c35 vm->run.exit_reason = VM_GUEST_UNKNOWN_EXIT;
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dvm.c143 vm->run.exit_reason = -1;
202 vm->run.exit_reason = VM_GUEST_ERROR_EXIT;
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dcr.c196 vcpu->run->exit_reason = KVM_EXIT_SET_TPR;

Completed in 30 milliseconds