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

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dhalt.c29 vcpu->vcpu_arch.guest_state->virt.interrupt_halt = 1;
H A Dinterrupt.c85 if (vcpu->vcpu_arch.guest_state->virt.interrupt_halt) {
89 vcpu->vcpu_arch.guest_state->virt.interrupt_halt = 0;
100 if (vcpu->vcpu_arch.guest_state->virt.interrupt_halt) {
101 vcpu->vcpu_arch.guest_state->virt.interrupt_halt = 0;
120 vcpu->vcpu_arch.guest_state->virt.interrupt_halt = 0;
H A Dvm.c48 if (vcpu->vcpu_arch.guest_state->exit.in_exit && !vcpu->vcpu_arch.guest_state->virt.interrupt_halt) {
132 vcpu->vcpu_arch.guest_state->virt.interrupt_halt = 0;
149 if (vcpu->vcpu_online && !vcpu->vcpu_arch.guest_state->virt.interrupt_halt
H A Dguest_state.h98 int interrupt_halt; member in struct:guest_virt_state

Completed in 35 milliseconds