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