#include <palacios/vmm_rbtree.h>
-#include <palacios/vmm_profiler.h>
-
#include <palacios/vmm_direct_paging.h>
#include <palacios/vmm_ctrl_regs.h>
vm_info->vm_regs.rdx = 0x00000f00;
- guest_state->cr0 = 0x60000010;
+
+ guest_state->cr0 = 0x60010010; // Set the WP flag so the memory hooks work in real-mode
guest_state->cs.selector = 0xf000;
if ((num_exits % 5000) == 0) {
PrintDebug("SVM Exit number %d\n", num_exits);
-
-#ifdef CONFIG_PROFILE_VMM
- if (info->enable_profiler) {
- v3_print_profile(info);
- }
-#endif
}
if (v3_handle_svm_exit(info) != 0) {
PrintDebug("Host Address of rip = 0x%p\n", (void *)host_addr);
PrintDebug("Instr (15 bytes) at %p:\n", (void *)host_addr);
- PrintTraceMemDump((uchar_t *)host_addr, 15);
+ v3_dump_mem((uint8_t *)host_addr, 15);
break;
}