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.

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;
 	}