On Wed, Feb 08, 2017 at 08:18:07PM +1100, Michael Ellerman wrote: > Balbir Singh <bsinghar...@gmail.com> writes: > > >> + printf("Faulted reading %d bytes from 0x"REG"\n", 16, > >> addr); > > > > We have a method of printing a special character for faults. > > Please see fault_chars[] > > Yeah but it's not worth the complication IMO. In practice you usually > fault on everything you tried to print or nothing.
Fair enough, I was worried about consistency across commands and its quite possible that on crossing a page boundary we see inconsistent output. I'm OK with it, one can always retry the command with smaller number of bytes. Balbir Singh.