#include <palacios/vmm_rbtree.h>
+#include <palacios/vmm_profiler.h>
+
extern void v3_stgi();
extern void v3_clgi();
ullong_t tmp_tsc;
uint_t vm_cr_low = 0, vm_cr_high = 0;
-
v3_enable_ints();
v3_clgi();
v3_stgi();
- if (num_exits % 25 == 0) {
+ if ((num_exits % 5000) == 0) {
PrintDebug("SVM Exit number %d\n", num_exits);
+ v3_print_profile(info);
}
+
if (v3_handle_svm_exit(info) != 0) {
vmcb_ctrl_t * guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
}
v3_print_GPRs(info);
-
-
-
-
PrintDebug("SVM Exit Code: %p\n", (void *)(addr_t)guest_ctrl->exit_code);
PrintDebug("exit_info1 low = 0x%.8x\n", *(uint_t*)&(guest_ctrl->exit_info1));
break;
}
+
}
return 0;
}