| /* |
| * Copyright 2017, Data61 |
| * Commonwealth Scientific and Industrial Research Organisation (CSIRO) |
| * ABN 41 687 119 230. |
| * |
| * This software may be distributed and modified according to the terms of |
| * the GNU General Public License version 2. Note that NO WARRANTY is provided. |
| * See "LICENSE_GPLv2.txt" for details. |
| * |
| * @TAG(DATA61_GPL) |
| */ |
| |
| /*vm exits related with hlt'ing*/ |
| |
| #include <stdio.h> |
| #include <stdlib.h> |
| |
| #include <sel4/sel4.h> |
| |
| #include "vmm/vmm.h" |
| |
| /* Handling halt instruction VMExit Events. */ |
| int vmm_hlt_handler(vmm_vcpu_t *vcpu) { |
| if (!(vmm_guest_state_get_rflags(&vcpu->guest_state, vcpu->guest_vcpu) & BIT(9))) { |
| printf("vcpu %d is halted forever :(\n", vcpu->vcpu_id); |
| } |
| |
| if (vmm_apic_has_interrupt(vcpu) == -1) { |
| /* Halted, don't reply until we get an interrupt */ |
| vcpu->guest_state.virt.interrupt_halt = 1; |
| } |
| |
| vmm_guest_exit_next_instruction(&vcpu->guest_state, vcpu->guest_vcpu); |
| return 0; |
| } |
