Fix a couple printf formats.

This was found when working on 64-bit PowerPC book-e support.
This commit is contained in:
Justin Hibbits 2016-01-01 15:17:24 +00:00
parent 9a7ee988b5
commit 38f004fbb0
2 changed files with 3 additions and 2 deletions

View File

@ -44,6 +44,7 @@ __FBSDID("$FreeBSD$");
#include <sys/random.h>
#include <sys/rman.h>
#include <machine/_inttypes.h>
#include <machine/bus.h>
#include <machine/resource.h>
@ -235,7 +236,7 @@ sec_probe(device_t dev)
sc->sc_version = 3;
break;
default:
device_printf(dev, "unknown SEC ID 0x%016llx!\n", id);
device_printf(dev, "unknown SEC ID 0x%16"PRIx64"!\n", id);
return (ENXIO);
}

View File

@ -561,7 +561,7 @@ tsec_set_mac_address(struct tsec_softc *sc)
TSEC_GLOBAL_LOCK_ASSERT(sc);
KASSERT((ETHER_ADDR_LEN <= sizeof(macbuf)),
("tsec_set_mac_address: (%d <= %d", ETHER_ADDR_LEN,
("tsec_set_mac_address: (%d <= %zd", ETHER_ADDR_LEN,
sizeof(macbuf)));
macbufp = (char *)macbuf;