X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_ctrl_regs.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmx_ctrl_regs.c;h=eb12760009d79599c2f8d3c8b1206b1eed90e0e3;hp=c7bf6e3a6269906213e0e1c5ca0b2720f71bb836;hb=6541ca672276d841db22cc18a003303cf517ea89;hpb=c09d92dc256363c742ca2a4bef685ed79575bf22

diff --git a/palacios/src/palacios/vmx_ctrl_regs.c b/palacios/src/palacios/vmx_ctrl_regs.c
index c7bf6e3..eb12760 100644
--- a/palacios/src/palacios/vmx_ctrl_regs.c
+++ b/palacios/src/palacios/vmx_ctrl_regs.c
@@ -157,10 +157,10 @@ static int handle_mov_to_cr0(struct guest_info * info, v3_reg_t * new_cr0, struc
         }
 	
         if (vmx_info->state == VMXASSIST_ENABLED) {
-            PrintDebug("Loading VMXASSIST at RIP: %p\n", (void *)info->rip);
+            PrintDebug("Loading VMXASSIST at RIP: %p\n", (void *)(addr_t)info->rip);
         } else {
             PrintDebug("Leaving VMXASSIST and entering protected mode at RIP: %p\n",
-		       (void *)info->rip);
+		       (void *)(addr_t)info->rip);
         }
 
 	// PE switches modify the RIP directly, so we clear the instr_len field to avoid catastrophe