On Saturday 06 April 2013, Miod Vallat wrote:
> > - define a few macros for special types, e.g. bus_addr_t and
> > time_t and use them
>
> It was decided to cast bus_*_t to long long and print them with
> %lld, rather than introduce kernel-only PRIfoo macros.
Is this documented somewhere? If not, where should it be documented?
For time_t, we also need long long. Any other types?
Also, there does not seem to be a header in the kernel yet, that
defines the standard PRI*. Should there be a new inttypes.h or, since
we probably want to define these always, do we put them into
{,_}types.h?
> > Maybe a useful first step would be to remove -Wno-format and use
> > -Wno- error=format instead?
>
> No, this syntax is not understood by gcc < 4.
Since the warning options are defined in sys/arch/XX/XX/Makefile.XX,
this can be done per architecture. We could do it on i386/amd64 only
at first, that would already be a big win. "-Wno-errror=format" does
not seem to prevent the warning 'zero-length kprintf format string'
from triggering an error, but that seems to occur only once and could
be fixed easily.
