jhibbits 4650ba5156 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