On Mon, 19 Oct 2020 at 18:43, Peter Xu <pet...@redhat.com> wrote: > > Dave magically found this. Fix them with "0x%x". > > Reported-by: Dr. David Alan Gilbert <dgilb...@redhat.com> > Signed-off-by: Peter Xu <pet...@redhat.com>
Hmm, a quick grep finds also some "0x%d" in an arm trace-event file :-) I'll send a patch... -- PMM
