Michal Suchánek <msucha...@suse.de> writes: > Hello, > > just a nit: > > On Thu, 30 Mar 2017 23:03:58 +1100 > Michael Ellerman <m...@ellerman.id.au> wrote: >> + * For kernel space, we use context ids 1-5 to map address as below: > > This appears wrong.
>> /* >> - * kernel take the top 4 context from the available range >> + * For kernel space, we use context ids 1-4 to map the > > and this appears right - or at least consistent with the commit > message ... and the rest of the comment. Yep thanks. Patch on its way. cheers