+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
#include <palacios/svm_handler.h>
#include <palacios/vmm.h>
#include <palacios/vm_guest_mem.h>
return -1;
}
} else {
+ /*
+ ulong_t tsc_spread = 0;
+ ullong_t exit_tsc = 0;
+
+ ulong_t rax = (ulong_t)info->vm_regs.rbx;
+ ulong_t rdx = (ulong_t)info->vm_regs.rcx;
+
+ *(ulong_t *)(&exit_tsc) = rax;
+ *(((ulong_t *)(&exit_tsc)) + 1) = rdx;
+
+ tsc_spread = info->exit_tsc - exit_tsc;
+
+ PrintError("VMMCALL tsc diff = %lu\n",tsc_spread);
+ info->rip += 3;
+ */
PrintError("VMMCALL with not emulator...\n");
return -1;
}
const uchar_t * vmexit_code_to_str(uint_t exit_code) {
-
switch(exit_code) {
case VMEXIT_CR0_READ:
return VMEXIT_CR0_READ_STR;