// Interrupt was taken in the guest
#ifdef DEBUG_INTERRUPTS
if ((info->intr_state.irq_vector == 238) ||
- (info->intr_state.irq_vector == 238)) {
- PrintDebug("Interrupt taken by guest\n");
+ (info->intr_state.irq_vector == 239)) {
+ PrintDebug("Interrupt %d taken by guest\n", info->intr_state.irq_vector);
}
#endif
v3_injecting_intr(info, info->intr_state.irq_vector, EXTERNAL_IRQ);
guest_ctrl->guest_ctrl.V_INTR_PRIO = 0xf;
#ifdef DEBUG_INTERRUPTS
if ((guest_ctrl->guest_ctrl.V_INTR_VECTOR == 238) ||
- (guest_ctrl->guest_ctrl.V_INTR_VECTOR == 238)) {
+ (guest_ctrl->guest_ctrl.V_INTR_VECTOR == 239)) {
PrintDebug("Injecting Interrupt %d (EIP=%p)\n",
guest_ctrl->guest_ctrl.V_INTR_VECTOR,
(void *)(addr_t)info->rip);