1 #include <palacios/svm_handler.h>
2 #include <palacios/vmm.h>
3 #include <palacios/vm_guest_mem.h>
4 #include <palacios/vmm_emulate.h>
5 #include <palacios/svm_ctrl_regs.h>
6 #include <palacios/svm_io.h>
7 #include <palacios/vmm_intr.h>
9 extern struct vmm_os_hooks * os_hooks;
12 int handle_svm_exit(struct guest_info * info) {
13 vmcb_ctrl_t * guest_ctrl = 0;
14 vmcb_saved_state_t * guest_state = 0;
15 ulong_t exit_code = 0;
17 guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
18 guest_state = GET_VMCB_SAVE_STATE_AREA((vmcb_t*)(info->vmm_data));
21 // Update the high level state
22 info->rip = guest_state->rip;
23 info->vm_regs.rsp = guest_state->rsp;
24 info->vm_regs.rax = guest_state->rax;
25 info->vm_regs.rsp = guest_state->rsp;
28 exit_code = guest_ctrl->exit_code;
30 // PrintDebugVMCB((vmcb_t*)(info->vmm_data));
32 if (exit_code == VMEXIT_IOIO) {
33 struct svm_io_info * io_info = (struct svm_io_info *)&(guest_ctrl->exit_info1);
35 if (io_info->type == 0) {
37 handle_svm_io_outs(info);
39 handle_svm_io_out(info);
43 handle_svm_io_ins(info);
45 handle_svm_io_in(info);
48 } else if (exit_code == VMEXIT_CR0_WRITE) {
49 PrintDebug("CR0 Write\n");
51 if (handle_cr0_write(info) == -1) {
55 } else if (( (exit_code == VMEXIT_CR3_READ) ||
56 (exit_code == VMEXIT_CR3_WRITE) ||
57 (exit_code == VMEXIT_INVLPG) ||
58 (exit_code == VMEXIT_INVLPGA) ||
59 (exit_code == VMEXIT_EXCP14)) &&
60 (info->page_mode == SHADOW_PAGING)) {
61 handle_shadow_paging(info);
64 } else if (exit_code == VMEXIT_INTR) {
65 handle_svm_intr(info);
67 addr_t rip_addr = get_addr_linear(info, guest_state->rip, guest_state->cs.selector);
72 PrintDebug("SVM Returned:(VMCB=%x)\n", info->vmm_data);
73 PrintDebug("RIP: %x\n", guest_state->rip);
74 PrintDebug("RIP Linear: %x\n", rip_addr);
76 PrintDebug("SVM Returned: Exit Code: %x\n",exit_code);
78 PrintDebug("io_info1 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info1));
79 PrintDebug("io_info1 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(guest_ctrl->exit_info1)) + 4));
81 PrintDebug("io_info2 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info2));
82 PrintDebug("io_info2 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(guest_ctrl->exit_info2)) + 4));
86 if (guest_pa_to_host_pa(info, guest_state->rip, &host_addr) == -1) {
87 PrintDebug("Could not translate guest_state->rip to host address\n");
91 PrintDebug("Host Address of rip = 0x%x\n", host_addr);
95 PrintDebug("Reading from 0x%x in guest\n", rip_addr);
97 read_guest_pa_memory(info, rip_addr, 15, buf);
99 PrintTraceMemDump(buf, 15);
106 // Update the low level state
108 if (intr_pending(&(info->intr_state))) {
109 guest_ctrl->EVENTINJ.vector = get_intr_number(&(info->intr_state));
110 guest_ctrl->EVENTINJ.valid = 1;
112 switch (get_intr_type(&(info->intr_state))) {
114 guest_ctrl->EVENTINJ.type = SVM_INJECTION_EXTERNAL_INTR;
117 guest_ctrl->EVENTINJ.type = SVM_INJECTION_NMI;
120 guest_ctrl->EVENTINJ.type = SVM_INJECTION_EXCEPTION;
121 guest_ctrl->EVENTINJ.error_code = info->intr_state.excp_error_code;
124 guest_ctrl->EVENTINJ.type = SVM_INJECTION_SOFT_INTR;
127 guest_ctrl->EVENTINJ.type = SVM_INJECTION_VIRTUAL_INTR;
132 PrintDebug("Attempted to issue an invalid interrupt\n");
137 // We need to figure out stack parameters....
139 //EVENTINJ.error_code
143 guest_state->rax = info->vm_regs.rax;
144 guest_state->rip = info->rip;
145 guest_state->rsp = info->vm_regs.rsp;
153 int handle_shadow_paging(struct guest_info * info) {
154 vmcb_ctrl_t * guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
155 // vmcb_saved_state_t * guest_state = GET_VMCB_SAVE_STATE_AREA((vmcb_t*)(info->vmm_data));
157 if (guest_ctrl->exit_code == VMEXIT_CR3_READ) {
166 int handle_svm_intr(struct guest_info * info) {
167 vmcb_ctrl_t * guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
168 // vmcb_saved_state_t * guest_state = GET_VMCB_SAVE_STATE_AREA((vmcb_t*)(info->vmm_data));
170 //struct Interrupt_Info * int_info = &(guest_ctrl->exit_int_info);
172 //struct vmm_irq_hook * get_irq_hook(&(info->irq_map), int_info->vector);
174 PrintDebug("SVM Returned: Exit Code: %x\n",guest_ctrl->exit_code);
175 PrintDebug("V_INTR_VECTOR: 0x%x\n", guest_ctrl->guest_ctrl.V_INTR_VECTOR);