Justin Hibbits 38f004fbb0 Fix a couple printf formats. ...

This was found when working on 64-bit PowerPC book-e support.

2016-01-01 15:17:24 +00:00

..

if_tsec_fdt.c

…

if_tsec.c

Fix a couple printf formats.

2016-01-01 15:17:24 +00:00

if_tsec.h

…

if_tsecreg.h

…