diff options
author | wpaul <wpaul@FreeBSD.org> | 2005-05-05 22:33:06 +0000 |
---|---|---|
committer | wpaul <wpaul@FreeBSD.org> | 2005-05-05 22:33:06 +0000 |
commit | d2ae5c8a710071d18256faad37516b81b838ceb0 (patch) | |
tree | 812f2c244b83b5ccde322420738e9ab973d50f99 | |
parent | 225ea2fb026651e6888d032de9ae92ac79d4cb10 (diff) | |
download | FreeBSD-src-d2ae5c8a710071d18256faad37516b81b838ceb0.zip FreeBSD-src-d2ae5c8a710071d18256faad37516b81b838ceb0.tar.gz |
Cast 64 bit quantity to uintmax_t to print it with %jx. This is
technically a no-op since uintmax_t is uint64_t on all currently
supported architectures, but we should use an explicit cast instead
of depending on this obscure coincidence.
-rw-r--r-- | sys/compat/ndis/subr_ndis.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/compat/ndis/subr_ndis.c b/sys/compat/ndis/subr_ndis.c index 518a1d9..f34f58f 100644 --- a/sys/compat/ndis/subr_ndis.c +++ b/sys/compat/ndis/subr_ndis.c @@ -1707,7 +1707,7 @@ NdisMFreeSharedMemory(adapter, len, cached, vaddr, paddr) if (sh == NULL) { printf("NDIS: buggy driver tried to free " "invalid shared memory: vaddr: %p paddr: 0x%jx\n", - vaddr, paddr.np_quad); + vaddr, (uintmax_t)paddr.np_quad); return; } |