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

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dvm.c48 if (vcpu->vcpu_arch.guest_state->exit.in_exit && !vcpu->vcpu_arch.guest_state->virt.interrupt_halt) {
50 assert(vcpu->vcpu_arch.guest_state->exit.in_exit);
55 vcpu->vcpu_arch.guest_state->exit.in_exit = 0;
96 assert(vcpu->vcpu_arch.guest_state->exit.in_exit);
133 vcpu->vcpu_arch.guest_state->exit.in_exit = 0;
150 && !vcpu->vcpu_arch.guest_state->exit.in_exit) {
159 vcpu->vcpu_arch.guest_state->exit.in_exit = 1;
H A Dguest_state.h35 bool in_exit; member in struct:guest_exit_information
491 assert(gs->exit.in_exit);
497 assert(gs->exit.in_exit);
503 assert(gs->exit.in_exit);
509 assert(gs->exit.in_exit);

Completed in 30 milliseconds