diff options
| author | Randy Dunlap <rdunlap@infradead.org> | 2020-07-03 14:21:56 -0700 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2020-07-05 14:39:44 -0600 |
| commit | abccb9d93a16bd39e002012204481297a18fa4a0 (patch) | |
| tree | a0bd31d46a37f5fbbf602f5b640b9441d43609e4 | |
| parent | 84520c02026174f2db61d40d461b3b0e4a890ea8 (diff) | |
Documentation: PCI: pci.rst: drop doubled words
Drop the doubled word "when".
Signed-off-by: Randy Dunlap <rdunlap@infradead.org>
Acked-by: Mike Rapoport <rppt@linux.ibm.com>
Cc: Jonathan Corbet <corbet@lwn.net>
Cc: linux-doc@vger.kernel.org
Cc: Bjorn Helgaas <bhelgaas@google.com>
Cc: linux-pci@vger.kernel.org
Link: https://lore.kernel.org/r/20200703212156.30453-5-rdunlap@infradead.org
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
| -rw-r--r-- | Documentation/PCI/pci.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/PCI/pci.rst b/Documentation/PCI/pci.rst index d10d3fe604c5..c35b187d5479 100644 --- a/Documentation/PCI/pci.rst +++ b/Documentation/PCI/pci.rst @@ -209,7 +209,7 @@ the PCI device by calling pci_enable_device(). This will: OS BUG: we don't check resource allocations before enabling those resources. The sequence would make more sense if we called pci_request_resources() before calling pci_enable_device(). - Currently, the device drivers can't detect the bug when when two + Currently, the device drivers can't detect the bug when two devices have been allocated the same range. This is not a common problem and unlikely to get fixed soon. |