From: sashiko-bot@kernel.org
To: "Myeonghun Pak" <mhun512@gmail.com>
Cc: linux-pci@vger.kernel.org
Subject: Re: [PATCH 2/2] PCI: shpchp: Balance PCI device enable on teardown
Date: Mon, 14 Sep 2026 01:39:44 +0000 [thread overview]
Message-ID: <20260914013944.C1A2E1F00893@smtp.kernel.org> (raw)
In-Reply-To: <20260914012434.47010-2-mhun512@gmail.com>
Thank you for your contribution! Sashiko AI review found 4 potential issue(s) to consider:
New issues:
- [High] Balancing `pci_enable_device()` on a PCI bridge breaks active downstream devices.
Pre-existing issues:
- [High] Unsafe timer deletion using timer_delete() instead of timer_delete_sync() for a self-rearming timer leads to potential Use-After-Free.
- [High] Stopping background interrupt/timer tasks AFTER freeing slot data structures leads to list corruption and Use-After-Free.
- [High] Potential NULL pointer dereference in shpc_isr() because hardware interrupts are unmasked before the slot list is initialized.
--
commit d2357682711af5fbf3134150a0b8ca81a1ecc817
Author: Myeonghun Pak <mhun512@gmail.com>
PCI: shpchp: Balance PCI device enable on teardown
This patch attempts to balance pci_enable_device() by adding calls to
pci_disable_device() during driver teardown and initialization failure. It
routes reservation failures directly to device cleanup, while skipping it for
failures prior to enablement.
> diff --git a/drivers/pci/hotplug/shpchp_hpc.c b/drivers/pci/hotplug/shpchp_hpc.c
> index 4492c7d2bc934..e00e4fb3b522c 100644
> --- a/drivers/pci/hotplug/shpchp_hpc.c
> +++ b/drivers/pci/hotplug/shpchp_hpc.c
> @@ -572,6 +572,7 @@ void shpchp_release_ctlr(struct controller *ctrl)
[Severity: High]
This is a pre-existing issue, but does freeing the slot data structures before
stopping the background tasks lead to a use-after-free or list corruption?
Earlier in shpchp_release_ctlr(), cleanup_slots() locklessly removes and frees
all slot structures before the interrupt handler or timer is stopped. If
shpc_isr() responds to a concurrent interrupt or timer, it calls
shpchp_find_slot(), which iterates over the freed elements in ctrl->slot_list:
drivers/pci/hotplug/shpchp.h:shpchp_find_slot() {
...
list_for_each_entry(slot, &ctrl->slot_list, slot_list) {
if (slot->device == device)
return slot;
}
...
}
Should we stop the interrupts and timers before cleaning up the slots?
[Severity: High]
This is a pre-existing issue, but can using timer_delete() instead of
timer_delete_sync() in shpchp_release_ctlr() introduce a potential
use-after-free?
If int_poll_timeout() is running concurrently on another CPU, it unconditionally
re-arms itself using start_int_poll_timer(). Since the driver teardown code
continues and frees the ctrl structure, could the re-armed timer access freed
memory when it fires?
> iounmap(ctrl->creg);
> release_mem_region(ctrl->mmio_base, ctrl->mmio_size);
> + pci_disable_device(ctrl->pci_dev);
[Severity: High]
Is it safe to disable the PCI-to-PCI bridge abruptly here?
Due to a known PCI core design flaw, pci_enable_bridge() does not increment
the bridge's enable_cnt when child devices enable it if it is already enabled.
Calling pci_disable_device() here drops the count to 0 and clears the
PCI_COMMAND_MASTER bit.
Will this cut off DMA for all active downstream devices, potentially leading
to UR errors or system crashes?
[ ... ]
> @@ -1045,6 +1046,8 @@ int shpc_init(struct controller *ctrl, struct pci_dev *pdev)
[Severity: High]
This isn't a bug introduced by this patch, but will unmasking hardware
interrupts earlier in shpc_init() allow the ISR to run before the slot list
is populated?
Hardware interrupts are unmasked before the calling function shpc_probe()
has a chance to execute init_slots():
drivers/pci/hotplug/shpchp_hpc.c:shpc_init() {
...
for (hp_slot = 0; hp_slot < ctrl->num_slots; hp_slot++) {
slot_reg = shpc_readl(ctrl, SLOT_REG(hp_slot));
...
slot_reg &= ~(PRSNT_CHANGE_INTR_MASK | ISO_PFAULT_INTR_MASK | ...);
shpc_writel(ctrl, SLOT_REG(hp_slot), slot_reg);
}
...
}
If a hardware event is already pending, shpc_isr() executes immediately and
calls shpchp_handle_presence_change().
Since shpchp_find_slot() would return a NULL p_slot on an empty list, won't
this cause an immediate NULL pointer dereference when accessing
p_slot->presence_save?
drivers/pci/hotplug/shpchp_ctrl.c:shpchp_handle_presence_change() {
...
p_slot = shpchp_find_slot(ctrl, hp_slot + ctrl->slot_device_offset);
/* Save the presence state */
shpchp_get_adapter_status(p_slot, &p_slot->presence_save);
...
}
> iounmap(ctrl->creg);
> abort_release_region:
> release_mem_region(ctrl->mmio_base, ctrl->mmio_size);
> +abort_disable_device:
> + pci_disable_device(pdev);
[Severity: High]
Similarly, might disabling the bridge on initialization failure cause problems
if child devices were already active and relying on the bridge?
> abort:
> return rc;
> }
--
Sashiko AI review · https://sashiko.dev/#/patchset/20260914012434.47010-1-mhun512@gmail.com?part=2
next prev parent reply other threads:[~2026-09-14 1:39 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-14 1:24 [PATCH 1/2] PCI: shpchp: Release MSI and MMIO resources on init failure Myeonghun Pak
2026-09-14 1:24 ` [PATCH 2/2] PCI: shpchp: Balance PCI device enable on teardown Myeonghun Pak
2026-09-14 1:39 ` sashiko-bot [this message]
2026-09-14 1:38 ` [PATCH 1/2] PCI: shpchp: Release MSI and MMIO resources on init failure sashiko-bot
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260914013944.C1A2E1F00893@smtp.kernel.org \
--to=sashiko-bot@kernel.org \
--cc=linux-pci@vger.kernel.org \
--cc=mhun512@gmail.com \
--cc=sashiko-reviews@lists.linux.dev \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.