X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_sym_iface.c;h=fea864d35304a72160dde352efe4cd0695931bcb;hp=83959555e33fee6587f3152666e889e777c1dc9f;hb=571979dad8fc2138a7e11c4fe61e812a0a0b17d1;hpb=99af50a89f5eb27e7e1c84aba01d72c06edc229a

diff --git a/palacios/src/palacios/vmm_sym_iface.c b/palacios/src/palacios/vmm_sym_iface.c
index 8395955..fea864d 100644
--- a/palacios/src/palacios/vmm_sym_iface.c
+++ b/palacios/src/palacios/vmm_sym_iface.c
@@ -84,14 +84,14 @@ static int msr_write(uint_t msr, struct v3_msr src, void * priv_data) {
     struct v3_sym_state * state = &(info->sym_state);
 
     if (msr == SYM_PAGE_MSR) {
-	PrintDebug("Symbiotic MSR write for page %p\n", (void *)src.value);
+	PrintDebug("Symbiotic MSR write for page %p\n", (void *)(addr_t)src.value);
 
 	if (state->active == 1) {
 	    // unmap page
 	    struct v3_shadow_region * old_reg = v3_get_shadow_region(info, (addr_t)state->guest_pg_addr);
 
 	    if (old_reg == NULL) {
-		PrintError("Could not find previously active symbiotic page (%p)\n", (void *)state->guest_pg_addr);
+		PrintError("Could not find previously active symbiotic page (%p)\n", (void *)(addr_t)state->guest_pg_addr);
 		return -1;
 	    }