Correctly print and cast u_int64_t and off_t.

Reported by:	ed, imp
MFC after:	1 week
This commit is contained in:
manu 2016-08-17 08:29:30 +00:00
parent 6b1ea3b570
commit 50ac04f160
2 changed files with 5 additions and 5 deletions

View File

@ -56,9 +56,9 @@ dskread(void *buf, u_int64_t lba, int nblk)
devinfo->dev->Media->MediaId, lba, size, buf);
if (status != EFI_SUCCESS) {
DPRINTF("dskread: failed dev: %p, id: %u, lba: %zu, size: %d, "
DPRINTF("dskread: failed dev: %p, id: %u, lba: %ju, size: %d, "
"status: %lu\n", devinfo->dev,
devinfo->dev->Media->MediaId, lba, size,
devinfo->dev->Media->MediaId, (uintmax_t)lba, size,
EFI_ERROR_CODE(status));
return (-1);
}

View File

@ -54,9 +54,9 @@ vdev_read(vdev_t *vdev, void *priv, off_t off, void *buf, size_t bytes)
devinfo->dev->Media->MediaId, lba, bytes, buf);
if (status != EFI_SUCCESS) {
DPRINTF("vdev_read: failed dev: %p, id: %u, lba: %jd, size: %zu,"
" status: %lu\n", devinfo->dev,
devinfo->dev->Media->MediaId, lba, bytes,
EFI_ERROR_CODE(status));
" status: %lu\n", devinfo->dev,
devinfo->dev->Media->MediaId, (intmax_t)lba, bytes,
EFI_ERROR_CODE(status));
return (-1);
}