X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_ctrl_regs.c;h=9bbcf5bdb65a2a0b9f430847cf09372d4e235b5e;hb=ff30ed5923877636b2b51bed0349f9b440625137;hp=75d11f07d929fb27ec4ce551c3fa98b3e335810b;hpb=1ca1027c409c0bf0ecdd476589d00687dc0b95f4;p=palacios.git

diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c
index 75d11f0..9bbcf5b 100644
--- a/palacios/src/palacios/vmm_ctrl_regs.c
+++ b/palacios/src/palacios/vmm_ctrl_regs.c
@@ -243,7 +243,7 @@ int v3_handle_cr0_read(struct guest_info * info) {
 		*dst_reg = *shadow_cr0;
 	    }
 
-	    PrintDebug("returned CR0: %p\n", (void *)*dst_reg);
+	    PrintDebug("returned CR0: %p\n", (void *)*(addr_t *)dst_reg);
 	} else {
 	    struct cr0_32 * dst_reg = (struct cr0_32 *)(dec_instr.dst_operand.operand);