exit_code = guest_ctrl->exit_code;
+ PrintDebug("SVM Returned: Exit Code: %x\n",exit_code);
// PrintDebugVMCB((vmcb_t*)(info->vmm_data));
if (handle_cr0_write(info) == -1) {
return -1;
}
+ } else if (exit_code == VMEXIT_CR0_READ) {
+ PrintDebug("CR0 Read\n");
+
+ if (handle_cr0_read(info) == -1) {
+ return -1;
+ }
+
+
/*
} else if (( (exit_code == VMEXIT_CR3_READ) ||
(exit_code == VMEXIT_CR3_WRITE) ||
} else if (exit_code == VMEXIT_INTR) {
// handle_svm_intr(info);
+
+ } else if (exit_code == VMEXIT_HLT) {
+ PrintDebug("Guest halted\n");
+ return -1;
} else {
addr_t rip_addr = get_addr_linear(info, guest_state->rip, guest_state->cs.selector);
char buf[15];
// Update the low level state
if (intr_pending(&(info->intr_state))) {
- guest_ctrl->EVENTINJ.vector = get_intr_number(&(info->intr_state));
- guest_ctrl->EVENTINJ.valid = 1;
-
+
switch (get_intr_type(&(info->intr_state))) {
case EXTERNAL_IRQ:
+ guest_ctrl->EVENTINJ.vector = get_intr_number(&(info->intr_state));
+ guest_ctrl->EVENTINJ.valid = 1;
guest_ctrl->EVENTINJ.type = SVM_INJECTION_EXTERNAL_INTR;
break;
case NMI:
return -1;
}
+
+ PrintDebug("Injecting Interrupt %d\n", guest_ctrl->EVENTINJ.vector);
+
+
// IMPORTANT TODO
// We need to figure out stack parameters....