1 #include <palacios/svm_handler.h>
2 #include <palacios/vmm.h>
3 #include <palacios/vm_guest_mem.h>
4 #include <palacios/vmm_decoder.h>
5 #include <palacios/vmm_ctrl_regs.h>
6 #include <palacios/svm_io.h>
7 #include <palacios/svm_halt.h>
8 #include <palacios/svm_pause.h>
9 #include <palacios/vmm_intr.h>
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;
26 info->cpl = guest_state->cpl;
29 info->ctrl_regs.cr0 = guest_state->cr0;
30 info->ctrl_regs.cr2 = guest_state->cr2;
31 info->ctrl_regs.cr3 = guest_state->cr3;
32 info->ctrl_regs.cr4 = guest_state->cr4;
33 info->ctrl_regs.cr8 = guest_ctrl->guest_ctrl.V_TPR;
34 info->ctrl_regs.rflags = guest_state->rflags;
35 info->ctrl_regs.efer = guest_state->efer;
37 get_vmcb_segments((vmcb_t*)(info->vmm_data), &(info->segments));
38 info->cpu_mode = get_cpu_mode(info);
39 info->mem_mode = get_mem_mode(info);
42 exit_code = guest_ctrl->exit_code;
45 // Disable printing io exits due to bochs debug messages
46 //if (!((exit_code == VMEXIT_IOIO) && ((ushort_t)(guest_ctrl->exit_info1 >> 16) == 0x402))) {
49 // PrintDebug("SVM Returned: Exit Code: 0x%x \t\t(tsc=%ul)\n",exit_code, (uint_t)info->time_state.guest_tsc);
51 if ((0) && (exit_code < 0x4f)) {
54 // Dump out the instr stream
56 //PrintDebug("RIP: %x\n", guest_state->rip);
57 PrintDebug("RIP Linear: %x\n", get_addr_linear(info, info->rip, &(info->segments.cs)));
59 // OK, now we will read the instruction
60 // The only difference between PROTECTED and PROTECTED_PG is whether we read
61 // from guest_pa or guest_va
62 if (info->mem_mode == PHYSICAL_MEM) {
63 // The real rip address is actually a combination of the rip + CS base
64 ret = read_guest_pa_memory(info, get_addr_linear(info, info->rip, &(info->segments.cs)), 32, instr);
66 ret = read_guest_va_memory(info, get_addr_linear(info, info->rip, &(info->segments.cs)), 32, instr);
70 // I think we should inject a GPF into the guest
71 PrintDebug("Could not read instruction (ret=%d)\n", ret);
74 PrintDebug("Instr Stream:\n");
75 PrintTraceMemDump(instr, 32);
81 // PrintDebugVMCB((vmcb_t*)(info->vmm_data));
84 // PrintDebug("SVM Returned:(VMCB=%x)\n", info->vmm_data);
85 //PrintDebug("RIP: %x\n", guest_state->rip);
88 //PrintDebug("SVM Returned: Exit Code: %x\n",exit_code);
90 if (exit_code == VMEXIT_IOIO) {
91 struct svm_io_info * io_info = (struct svm_io_info *)&(guest_ctrl->exit_info1);
93 if (io_info->type == 0) {
95 if (handle_svm_io_outs(info) == -1 ) {
99 if (handle_svm_io_out(info) == -1) {
105 if (handle_svm_io_ins(info) == -1) {
109 if (handle_svm_io_in(info) == -1) {
114 } else if (exit_code == VMEXIT_CR0_WRITE) {
115 #ifdef DEBUG_CTRL_REGS
116 PrintDebug("CR0 Write\n");
118 if (handle_cr0_write(info) == -1) {
121 } else if (exit_code == VMEXIT_CR0_READ) {
122 #ifdef DEBUG_CTRL_REGS
123 PrintDebug("CR0 Read\n");
125 if (handle_cr0_read(info) == -1) {
128 } else if (exit_code == VMEXIT_CR3_WRITE) {
129 #ifdef DEBUG_CTRL_REGS
130 PrintDebug("CR3 Write\n");
132 if (handle_cr3_write(info) == -1) {
135 } else if (exit_code == VMEXIT_CR3_READ) {
136 #ifdef DEBUG_CTRL_REGS
137 PrintDebug("CR3 Read\n");
139 if (handle_cr3_read(info) == -1) {
143 } else if (exit_code == VMEXIT_EXCP14) {
144 addr_t fault_addr = guest_ctrl->exit_info2;
145 pf_error_t * error_code = (pf_error_t *)&(guest_ctrl->exit_info1);
146 #ifdef DEBUG_SHADOW_PAGING
147 PrintDebug("PageFault at %x (error=%d)\n", fault_addr, *error_code);
149 if (info->shdw_pg_mode == SHADOW_PAGING) {
150 if (handle_shadow_pagefault(info, fault_addr, *error_code) == -1) {
155 PrintError("Page fault in un implemented paging mode\n");
159 } else if (exit_code == VMEXIT_NPF) {
160 PrintError("Currently unhandled Nested Page Fault\n");
163 } else if (exit_code == VMEXIT_INVLPG) {
164 if (info->shdw_pg_mode == SHADOW_PAGING) {
165 #ifdef DEBUG_SHADOW_PAGING
166 PrintDebug("Invlpg\n");
168 if (handle_shadow_invlpg(info) == -1) {
174 (exit_code == VMEXIT_INVLPGA) ||
177 } else if (exit_code == VMEXIT_INTR) {
179 // handle_svm_intr(info);
181 } else if (exit_code == VMEXIT_SMI) {
183 // handle_svm_smi(info); // ignored for now
185 } else if (exit_code == VMEXIT_HLT) {
186 PrintDebug("Guest halted\n");
187 if (handle_svm_halt(info) == -1) {
190 } else if (exit_code == VMEXIT_PAUSE) {
191 PrintDebug("Guest paused\n");
192 if (handle_svm_pause(info) == -1) {
201 rip_addr = get_addr_linear(info, guest_state->rip, &(info->segments.cs));
205 PrintError("SVM Returned:(VMCB=%x)\n", info->vmm_data);
206 PrintError("RIP: %x\n", guest_state->rip);
207 PrintError("RIP Linear: %x\n", rip_addr);
209 PrintError("SVM Returned: Exit Code: %x\n",exit_code);
211 PrintError("io_info1 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info1));
212 PrintError("io_info1 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(guest_ctrl->exit_info1)) + 4));
214 PrintError("io_info2 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info2));
215 PrintError("io_info2 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(guest_ctrl->exit_info2)) + 4));
219 if (info->mem_mode == PHYSICAL_MEM) {
220 if (guest_pa_to_host_pa(info, guest_state->rip, &host_addr) == -1) {
221 PrintError("Could not translate guest_state->rip to host address\n");
224 } else if (info->mem_mode == VIRTUAL_MEM) {
225 if (guest_va_to_host_pa(info, guest_state->rip, &host_addr) == -1) {
226 PrintError("Could not translate guest_state->rip to host address\n");
230 PrintError("Invalid memory mode\n");
234 PrintError("Host Address of rip = 0x%x\n", host_addr);
238 PrintError("Reading instruction stream in guest\n", rip_addr);
240 if (info->mem_mode == PHYSICAL_MEM) {
241 read_guest_pa_memory(info, rip_addr-16, 32, buf);
243 read_guest_va_memory(info, rip_addr-16, 32, buf);
246 PrintDebug("16 bytes before Rip\n");
247 PrintTraceMemDump(buf, 16);
248 PrintDebug("Rip onward\n");
249 PrintTraceMemDump(buf+16, 16);
258 // Update the low level state
260 if (intr_pending(info)) {
262 switch (get_intr_type(info)) {
265 uint_t irq = get_intr_number(info);
267 // check to see if ==-1 (non exists)
270 guest_ctrl->EVENTINJ.vector = irq;
271 guest_ctrl->EVENTINJ.valid = 1;
272 guest_ctrl->EVENTINJ.type = SVM_INJECTION_EXTERNAL_INTR;
275 guest_ctrl->guest_ctrl.V_IRQ = 1;
276 guest_ctrl->guest_ctrl.V_INTR_VECTOR = irq;
277 guest_ctrl->guest_ctrl.V_IGN_TPR = 1;
278 guest_ctrl->guest_ctrl.V_INTR_PRIO = 0xf;
279 #ifdef DEBUG_INTERRUPTS
280 PrintDebug("Injecting Interrupt %d (EIP=%x)\n", guest_ctrl->guest_ctrl.V_INTR_VECTOR, info->rip);
282 injecting_intr(info, irq, EXTERNAL_IRQ);
287 guest_ctrl->EVENTINJ.type = SVM_INJECTION_NMI;
291 uint_t excp = get_intr_number(info);
293 guest_ctrl->EVENTINJ.type = SVM_INJECTION_EXCEPTION;
295 if (info->intr_state.excp_error_code_valid) { //PAD
296 guest_ctrl->EVENTINJ.error_code = info->intr_state.excp_error_code;
297 guest_ctrl->EVENTINJ.ev = 1;
298 #ifdef DEBUG_INTERRUPTS
299 PrintDebug("Injecting error code %x\n", guest_ctrl->EVENTINJ.error_code);
303 guest_ctrl->EVENTINJ.vector = excp;
305 guest_ctrl->EVENTINJ.valid = 1;
306 #ifdef DEBUG_INTERRUPTS
307 PrintDebug("Injecting Interrupt %d (EIP=%x)\n", guest_ctrl->EVENTINJ.vector, info->rip);
309 injecting_intr(info, excp, EXCEPTION);
313 guest_ctrl->EVENTINJ.type = SVM_INJECTION_SOFT_INTR;
316 guest_ctrl->EVENTINJ.type = SVM_INJECTION_VIRTUAL_INTR;
321 PrintError("Attempted to issue an invalid interrupt\n");
328 guest_state->cr0 = info->ctrl_regs.cr0;
329 guest_state->cr2 = info->ctrl_regs.cr2;
330 guest_state->cr3 = info->ctrl_regs.cr3;
331 guest_state->cr4 = info->ctrl_regs.cr4;
332 guest_ctrl->guest_ctrl.V_TPR = info->ctrl_regs.cr8 & 0xff;
333 guest_state->rflags = info->ctrl_regs.rflags;
334 guest_state->efer = info->ctrl_regs.efer;
336 guest_state->cpl = info->cpl;
338 guest_state->rax = info->vm_regs.rax;
339 guest_state->rip = info->rip;
340 guest_state->rsp = info->vm_regs.rsp;
343 set_vmcb_segments((vmcb_t*)(info->vmm_data), &(info->segments));
345 if (exit_code == VMEXIT_INTR) {
346 //PrintDebug("INTR ret IP = %x\n", guest_state->rip);