Hi Bertrand, On 31/07/2020 14:26, Bertrand Marquis wrote:
+ { + gprintk(XENLOG_WARNING, "Cannot map runstate pointer at 0x%"PRIvaddr + ": Invalid offset\n", vaddr);We usually enforce 80 character per lines except for format string. So it is easier to grep them in the code.Ok i will fix this one and the following ones. But here PRIvaddr would break any attempt to grep something in fact.
The idea is you can grep a few words on the message and then easily find the line.
Cheers, -- Julien Grall