Re: [PATCH v13 01/16] PCI: Let pci_mmap_page_range() take resource address

From: Bjorn Helgaas
Date: Wed Jun 22 2016 - 11:22:52 EST


On Tue, Jun 21, 2016 at 09:32:49PM -0700, Yinghai Lu wrote:
> On Sat, Jun 18, 2016 at 5:17 AM, Bjorn Helgaas <helgaas@xxxxxxxxxx> wrote:
> > On Fri, Jun 17, 2016 at 07:24:46PM -0700, Yinghai Lu wrote:
> >> In 8c05cd08a7 ("PCI: fix offset check for sysfs mmapped files"), try
> >> to check exposed value with resource start/end in proc mmap path.
> >>
> >> | start = vma->vm_pgoff;
> >> | size = ((pci_resource_len(pdev, resno) - 1) >> PAGE_SHIFT) + 1;
> >> | pci_start = (mmap_api == PCI_MMAP_PROCFS) ?
> >> | pci_resource_start(pdev, resno) >> PAGE_SHIFT : 0;
> >> | if (start >= pci_start && start < pci_start + size &&
> >> | start + nr <= pci_start + size)
> >>
> >> That breaks sparc that exposed value is BAR value, and need to be offseted
> >> to resource address.
> >
> > I asked this same question of the v12 patch, but I don't think you
> > answered it:
> >
> > I'm not quite sure what you're saying here. Are you saying that sparc
> > is currently broken, and this patch fixes it? If so, what exactly is
> > broken? Can you give a small example of an mmap that is currently
> > broken?
>
> Yes, for sparc that path (proc mmap) is broken, but only according to
> code checking.
>
> The reason for the problem is not discovered is that seem all users
> (other than x86) are not
> use proc_mmap ?
>
> vma->vm_pgoff is that code segment is User/BAR value >> PAGE_SHIFT.
> pci_start is resource->start >> PAGE_SHIFT.
>
> For sparc, resource start is different from BAR start aka pci bus address.
> pci bus address add offset to be the resource start.

If sparc is broken, let's make this a tiny sparc-only patch that fixes
only the breakage -- no cleanup or restructuring. Then we can do the
more extensive work in a separate patch.

The example mmap() I keep asking for would be very helpful to me in
understanding the problem. It would probably also help folks who
maintain user programs that use mmap. They need to figure out whether
they have code that worked most places but has always been broken on
sparc, or code that depended on the previous sparc behavior and will
be broken by this change, or what.

Bjorn