K 10
svn:author
V 8
jhibbits
K 8
svn:date
V 27
2019-12-04T03:51:30.593023Z
K 7
svn:log
V 321
powerpc/booke: Fix some formatting errors in debug printfs

Use the right formats for the types given (vm_offset_t and vm_size_t are
both uint32_t on 32-bit platforms, and uint64_t on 64-bit platforms, and
match size_t in size, so we can use the size_t format as we do in other
similar code).

These were found by clang.

END