X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fnetdisk.c;fp=palacios%2Fsrc%2Fdevices%2Fnetdisk.c;h=006776ab42ac48c5306746fe6b960ed4660f2568;hp=3052a9b7edf7b4fd460afa4a76446adb4f3f4618;hb=de6084de2145f3889a16d8498e5e7d44e96e0162;hpb=87b1679efe8bee960b65cfd730188ccc94966b71

diff --git a/palacios/src/devices/netdisk.c b/palacios/src/devices/netdisk.c
index 3052a9b..006776a 100644
--- a/palacios/src/devices/netdisk.c
+++ b/palacios/src/devices/netdisk.c
@@ -261,7 +261,7 @@ static int socket_init(struct disk_state * disk) {
 	    return -1;
 	}	
 
-	PrintDebug("Capacity: %p\n", (void *)(disk->capacity));
+	PrintDebug("Capacity: %p\n", (void *)(addr_t)disk->capacity);
     }