Al Viro wrote: > On Thu, Jan 26, 2023 at 09:56:07PM +0000, Matthew Wilcox wrote: > > On Thu, Jan 26, 2023 at 09:04:02PM +0000, Al Viro wrote: > > > On Thu, Jan 26, 2023 at 08:48:03PM +0000, Matthew Wilcox wrote: > > > > On Thu, Jan 26, 2023 at 12:38:58PM -0800, Andrew Morton wrote: > > > > > On Thu, 26 Jan 2023 15:33:46 +0100 "Fabio M. De Francesco" <fmdefrancesco@xxxxxxxxx> wrote: > > > > > > > > > > > If ARCH_HAS_FLUSH_ON_KUNMAP is defined (PA-RISC case), __kunmap_local() > > > > > > calls kunmap_flush_on_unmap(). The latter currently flushes the wrong > > > > > > address (as confirmed by Matthew Wilcox and Helge Deller). Al Viro > > > > > > proposed to call kunmap_flush_on_unmap() on an aligned-down to page > > > > > > address in order to fix this issue. Consensus has been reached on this > > > > > > solution. > > > > > > > > > > What are the user-visible runtime effects of this flaw? > > > > > > > > The version of this patch I sent out includes this information, > > > > as well as the missed alignment for kunmap_atomic(). > > > > > > One point: AFAICS, the situation right now is > > > * all callers of kunmap_local() pass page-aligned pointers > > > > Ah, no. kmap_local_folio() accepts a byte offset within the folio > > and returns a pointer to that byte. I hadn't noticed the parisc > > case and thought it was already allowed to pass a misaligned pointer > > to kunmap_local() since it is allowed for the highmem case. It > > simplified the callers, so it looked like a good tradeoff. > > > > See, eg 338f379cf7c2: > > > > - src_addr = kmap_atomic(src_page); > > - dest_addr = kmap_atomic(dest_page); > > + src_addr = kmap_local_folio(src_folio, > > + offset_in_folio(src_folio, srcoff)); > > + dst_addr = kmap_local_folio(dst_folio, > > + offset_in_folio(dst_folio, dstoff)); > > > > - if (memcmp(src_addr + src_poff, dest_addr + dest_poff, cmp_len)) > > + if (memcmp(src_addr, dst_addr, cmp_len)) > > > > - kunmap_atomic(dest_addr); > > - kunmap_atomic(src_addr); > > + kunmap_local(dst_addr); > > + kunmap_local(src_addr); > > Argh... Missed that. > > OK, then Fixes: on the patch makes a lot of sense. And it still > needs a chunk in D/m/highmem.rst... > I believe this is taken care of because the kdocs for kunmap_{local,atomic}() are included there. And those kdocs indicate the ability to use any address in the page. Thanks for setting me straight on the parisc/highmem thing I missed that. Ira