panic: declare as printf-style-checked

. and related fixes

Change-Id: I5131ac57dc53d8aec8d421a34c5ceea383404d7a
This commit is contained in:
Ben Gras
2013-02-02 00:55:35 +00:00
parent 5507a12d7c
commit 2d2a1a077d
22 changed files with 30 additions and 29 deletions

View File

@@ -289,7 +289,7 @@ vir_bytes bytes; /* # of bytes to be copied */
phys = 0;
} else {
if(phys == 0)
panic("vm_lookup returned phys: %d", phys);
panic("vm_lookup returned phys: 0x%lx", phys);
}
if(phys == 0) {