#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;