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

diff --git a/palacios/src/palacios/vm_guest.c b/palacios/src/palacios/vm_guest.c
index de0cb21..c2bb07d 100644
--- a/palacios/src/palacios/vm_guest.c
+++ b/palacios/src/palacios/vm_guest.c
@@ -310,7 +310,7 @@ void v3_print_stack(struct guest_info * info) {
     // We start i at one because the current stack pointer points to an unused stack element
     for (i = 0; i <= 24; i++) {
 	if (cpu_mode == LONG) {
-	    V3_Print("\t%p\n", (void *)*(uint64_t *)(host_addr + (i * 8)));
+	    V3_Print("\t%p\n", (void *)*(addr_t *)(host_addr + (i * 8)));
 	} else if (cpu_mode == REAL) {
 	    V3_Print("Don't currently handle 16 bit stacks... \n");
 	} else {