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.

Reply via email to