Re: [PATCH v3] target/ppc: Fix 64-bit decrementer

[Cédric Le Goater]

So use PRIx64, as you're supposed to do.
Or, in fact, change this to a tracepoint.

yes. I will change all of them. It should be useful for everyone.

C.