svn commit: r304221 - head/sys/boot/efi/boot1

[Ed Schouten]

Hi Emmanuel,

2016-08-16 16:23 GMT+02:00 Emmanuel Vadot <manu at freebsd.org>:
> Author: manu
> Date: Tue Aug 16 14:23:35 2016
> New Revision: 304221
> URL: https://svnweb.freebsd.org/changeset/base/304221
>
> Log:
>   Use %ju modifier for u_int64_t and %jd modifier for off_t.
>   off_t is long long on arm32 and long on amd64

I think both of these should be solved differently:

- For uint64_t, you can use <inttypes.h>'s PRIu64 in the formatting
string. In kernel space, I suspect you need to use something like
<machine/inttypes.h>.
- For off_t, it's all right to print it with %jd, but then be sure to
also add a cast to the argument itself. It may not necessarily be
equal to an intmax_t.

-- 
Ed Schouten <ed at nuxi.nl>
Nuxi, 's-Hertogenbosch, the Netherlands
KvK-nr.: 62051717