X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_ctrl_regs.c;h=e2ab2bc89c6d295f483e2c6c9b2aaa64eb4c7b90;hb=03a41b18bdb6ce4bf666f18acdaf302e2360efdc;hp=f56c5a62851ed463ea9bea133bb8f89429172e0e;hpb=32694d99c15e00731a240e0fccea252e08bf5ada;p=palacios.git

diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c
index f56c5a6..e2ab2bc 100644
--- a/palacios/src/palacios/vmm_ctrl_regs.c
+++ b/palacios/src/palacios/vmm_ctrl_regs.c
@@ -280,7 +280,7 @@ int v3_handle_cr3_write(struct guest_info * info) {
 	shadow_pt =  v3_create_new_shadow_pt32();
 	
 	shadow_cr3->pdt_base_addr = (addr_t)V3_PAddr((void *)(addr_t)PD32_BASE_ADDR(shadow_pt));
-	PrintDebug( "Created new shadow page table %p\n", shadow_cr3->pdt_base_addr );
+	PrintDebug( "Created new shadow page table %p\n", (void *)(addr_t)shadow_cr3->pdt_base_addr );
 	//PrintDebugPageTables( (pde32_t *)CR3_TO_PDE32(*(uint_t*)shadow_cr3) );