1 #include <geekos/svm_handler.h>
2 #include <geekos/vmm.h>
7 int handle_svm_exit(guest_info_t * info) {
8 vmcb_ctrl_t * guest_ctrl = 0;
9 vmcb_saved_state_t * guest_state = 0;
10 ulong_t exit_code = 0;
12 guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
13 guest_state = GET_VMCB_SAVE_STATE_AREA((vmcb_t*)(info->vmm_data));
15 PrintDebug("SVM Returned: (Exit Code=%x) (VMCB=%x)\n",&(guest_ctrl->exit_code), info->vmm_data);
16 PrintDebug("RIP: %x\n", guest_state->rip);
19 exit_code = guest_ctrl->exit_code;
21 // PrintDebugVMCB((vmcb_t*)(info->vmm_data));
22 PrintDebug("SVM Returned: Exit Code: %x\n",exit_code);
23 PrintDebug("io_info1 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info1));
24 PrintDebug("io_info1 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(guest_ctrl->exit_info1)) + 4));
26 PrintDebug("io_info2 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info2));
27 PrintDebug("io_info2 high = 0x%.8x\n", *(uint_t *)(((uchar_t *)&(guest_ctrl->exit_info2)) + 4));
28 if (exit_code == VMEXIT_IOIO) {
30 } else if (( (exit_code == VMEXIT_CR3_READ) ||
31 (exit_code == VMEXIT_CR3_WRITE) ||
32 (exit_code == VMEXIT_INVLPG) ||
33 (exit_code == VMEXIT_INVLPGA) ||
34 (exit_code == VMEXIT_EXCP14)) &&
35 (info->page_mode == SHADOW_PAGING)) {
36 handle_shadow_paging(info);
45 // This should package up an IO request and call vmm_handle_io
46 int handle_svm_io(guest_info_t * info) {
47 vmcb_ctrl_t * ctrl_area = GET_VMCB_CTRL_AREA((vmcb_t *)(info->vmm_data));
48 vmcb_saved_state_t * guest_state = GET_VMCB_SAVE_STATE_AREA((vmcb_t*)(info->vmm_data));
50 PrintDebug("Ctrl Area=%x\n", ctrl_area);
52 // struct svm_io_info * io_info = (struct svm_io_info *)&(ctrl_area->exit_info1);
56 // PrintDebugVMCB((vmcb_t*)(info->vmm_data));
58 guest_state->rip = ctrl_area->exit_info2;
63 // PrintDebug("Exit On Port %d\n", io_info->port);
69 int handle_shadow_paging(guest_info_t * info) {
70 vmcb_ctrl_t * guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
71 // vmcb_saved_state_t * guest_state = GET_VMCB_SAVE_STATE_AREA((vmcb_t*)(info->vmm_data));
73 if (guest_ctrl->exit_code == VMEXIT_CR3_READ) {