#include <palacios/vmm_profiler.h>
+#include <palacios/vmm_direct_paging.h>
extern void v3_stgi();
extern void v3_clgi();
ushort_t port = iter->port;
uchar_t * bitmap = (uchar_t *)io_port_bitmap;
- PrintDebug("%d: Hooking Port %d\n", i, port);
+ //PrintDebug("%d: Hooking Port %d\n", i, port);
bitmap += (port / 8);
// PrintDebug("Setting Bit for port 0x%x\n", port);
/* Testing 64 bit page tables for long paged real mode guests */
// vm_info->direct_map_pt = (addr_t)V3_PAddr(create_passthrough_pts_64(vm_info));
- vm_info->direct_map_pt = (addr_t)V3_PAddr(create_passthrough_pts_32(vm_info));
+ vm_info->direct_map_pt = (addr_t)V3_PAddr(v3_create_direct_passthrough_pts(vm_info));
/* End Test */
vm_info->shdw_pg_state.guest_cr0 = 0x0000000000000010LL;
v3_get_msr(MSR_GS_BASE, &(host_gs_base.hi), &(host_gs_base.lo));
rdtscll(info->time_state.cached_host_tsc);
-
guest_ctrl->TSC_OFFSET = info->time_state.guest_tsc - info->time_state.cached_host_tsc;
v3_svm_launch((vmcb_t*)V3_PAddr(info->vmm_data), &(info->vm_regs));
+
rdtscll(tmp_tsc);
v3_set_msr(MSR_STAR, host_star.hi, host_star.lo);