X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config.c;h=3bbac8887d4dcb2536cd069d806a0073b92e6b82;hb=a0c519f730b179ea90b3f3ac861133906b4f8645;hp=37c5312bef976eab13991d61cfd24277f767a763;hpb=a2b7cc4f2d739213d1edefb85ff941c41c86907b;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c
index 37c5312..3bbac88 100644
--- a/palacios/src/palacios/vmm_config.c
+++ b/palacios/src/palacios/vmm_config.c
@@ -20,6 +20,7 @@
 #include <palacios/vmm_config.h>
 #include <palacios/vmm.h>
 #include <palacios/vmm_debug.h>
+#include <palacios/vmm_msr.h>
 
 
 #include <devices/serial.h>
@@ -50,7 +51,7 @@ static int mem_test_read(addr_t guest_addr, void * dst, uint_t length, void * pr
 
   memcpy(dst, &foo, length);
 
-  PrintDebug("Passthrough mem read returning: %d (length=%d)\n", foo + (guest_addr & 0xfff), length);
+  PrintDebug("Passthrough mem read returning: %p (length=%d)\n", (void *)(foo + (guest_addr & 0xfff)), length);
   return length;
 }
 
@@ -89,6 +90,7 @@ int v3_config_guest(struct guest_info * info, struct v3_vm_config * config_ptr)
   
  
   v3_init_vmm_io_map(info);
+  v3_init_msr_map(info);
   v3_init_interrupt_state(info);
   
   v3_init_dev_mgr(info);
@@ -109,10 +111,10 @@ int v3_config_guest(struct guest_info * info, struct v3_vm_config * config_ptr)
 
     add_shadow_region_passthrough(info, ROMBIOS_START, ROMBIOS_START + (num_pages * PAGE_SIZE), (addr_t)guest_mem);
     
-    PrintDebug("Adding Shadow Region (0x%x-0x%x) -> 0x%x\n", 
-	       ROMBIOS_START, 
-	       ROMBIOS_START + (num_pages * PAGE_SIZE), 
-	       guest_mem);
+    PrintDebug("Adding Shadow Region (0x%p-0x%p) -> 0x%p\n", 
+	       (void *)ROMBIOS_START, 
+	       (void *)ROMBIOS_START + (num_pages * PAGE_SIZE), 
+	       (void *)guest_mem);
   }
 
 
@@ -126,10 +128,10 @@ int v3_config_guest(struct guest_info * info, struct v3_vm_config * config_ptr)
 
     add_shadow_region_passthrough(info, VGABIOS_START, VGABIOS_START + (num_pages * PAGE_SIZE), (addr_t)guest_mem);
     
-    PrintDebug("Adding Shadow Region (0x%x-0x%x) -> 0x%x\n", 
-	       VGABIOS_START, 
-	       VGABIOS_START + (num_pages * PAGE_SIZE), 
-	       guest_mem);
+    PrintDebug("Adding Shadow Region (0x%p-0x%p) -> 0x%p\n", 
+	       (void *)VGABIOS_START, 
+	       (void *)VGABIOS_START + (num_pages * PAGE_SIZE), 
+	       (void *)guest_mem);
   }
 
       //