X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fnetdisk.c;h=006776ab42ac48c5306746fe6b960ed4660f2568;hp=552de56ee2cea363ea75dddf6a0c6d60484fe1b7;hb=6541ca672276d841db22cc18a003303cf517ea89;hpb=123a1ba27ea09c8fa77a1b36ce625b43d7c48b14

diff --git a/palacios/src/devices/netdisk.c b/palacios/src/devices/netdisk.c
index 552de56..006776a 100644
--- a/palacios/src/devices/netdisk.c
+++ b/palacios/src/devices/netdisk.c
@@ -132,7 +132,7 @@ static int read(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_
     }
 
     if (ret_len != length) {
-	PrintError("Read length mismatch (req=%d) (result=%d)\n", length, ret_len);
+	PrintError("Read length mismatch (req=%llu) (result=%u)\n", length, ret_len);
 	return -1;
     }
 
@@ -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);
     }