The series patches have extensive descriptions as to the problem and solution, but in short the ACS flags are not analyzed according to the spec to form the iommu_groups that VFIO is expecting for security. ACS is an egress control only. For a path the ACS flags on each hop only effect what other devices the TLP is allowed to reach. It does not prevent other devices from reaching into this path. For VFIO if device A is permitted to access device B's MMIO then A and B must be grouped together. This says that even if a path has isolating ACS flags on each hop, off-path devices with non-isolating ACS can still reach into that path and must be grouped gother. For switches, a PCIe topology like: -- DSP 02:00.0 -> End Point A Root 00:00.0 -> USP 01:00.0 --| -- DSP 02:03.0 -> End Point B Will generate unique single device groups for every device even if ACS is not enabled on the two DSP ports. It should at least group A/B together because no ACS means A can reach the MMIO of B. This is a serious failure for the VFIO security model. For multi-function-devices, a PCIe topology like: -- MFD 00:1f.0 ACS not supported Root 00:00.00 --|- MFD 00:1f.2 ACS not supported |- MFD 00:1f.6 ACS = REQ_ACS_FLAGS Will group [1f.0, 1f.2] and 1f.6 gets a single device group. However from a spec perspective each device should get its own group, because ACS not supported can assume no loopback is possible by spec. For root-ports a PCIe topology like: -- Dev 01:00.0 Root 00:00.00 --- Root Port 00:01.0 --| | -- Dev 01:00.1 |- Dev 00:17.0 Previously would group [00:01.0, 01:00.0, 01:00.1] together if there is no ACS capability in the root port. While ACS on root ports is underspecified in the spec, it should still function as an egress control and limit access to either the MMIO of the root port itself, or perhaps some other devices upstream of the root complex - 00:17.0 perhaps in this example. Historically the grouping in Linux has assumed the root port routes all traffic into the TA/IOMMU and never bypasses the TA to go to other functions in the root complex. Following the new understanding that ACS is required for internal loopback also treat root ports with no ACS capability as lacking internal loopback as well. There is also some confusing spec language about how ACS and SRIOV works which this series does not address. This entire series goes further and makes some additional improvements to the ACS validation found while studying this problem. The groups around a PCIe to PCI bridge are shrunk to not include the PCIe bridge. The last patches implement "ACS Enhanced" on top of it. Due to how ACS Enhanced was defined as a non-backward compatible feature it is important to get SW support out there. Due to the potential of iommu_groups becoming wider and thus non-usable for VFIO this should go to a linux-next tree to give it some more exposure. I have now tested this a few systems I could get: - Various Intel client systems: * Raptor Lake, with VMD enabled and using the real_dev mechanism * 6/7th generation 100 Series/C320 * 5/6th generation 100 Series/C320 with a NIC MFD quirk * Tiger Lake * 5/6th generation Sunrise Point The 6/7th gen system has a root port without an ACS capability and it becomes ungrouped as described above. All systems have changes, the MFDs in the root complex all become ungrouped. - NVIDIA Grace system with 5 different PCI switches from two vendors Bug fix widening the iommu_groups works as expected here This is on github: https://github.com/jgunthorpe/linux/commits/pcie_switch_groups v3: - Rebase to v6.17-rc4 - Drop the quirks related patches - Change the MFD logic to process no ACS cap as meaning no internal loopback. This avoids creating non-isolated groups for MFD root ports in common AMD and Intel systems - Fix matching MFDs to ignore SRIOV VFs - Fix some kbuild splats v2: https://patch.msgid.link/r/0-v2-4a9b9c983431+10e2-pcie_switch_groups_jgg@xxxxxxxxxx - Revise comments and commit messages - Rename struct pci_alias_set to pci_reachable_set - Make more sense of the special bus->self = NULL case for SRIOV - Add pci_group_alloc_non_isolated() for readability - Rename BUS_DATA_PCI_UNISOLATED to BUS_DATA_PCI_NON_ISOLATED - Propogate BUS_DATA_PCI_NON_ISOLATED downstream from a MFD in case a MFD function is a bridge - New patches to add pci_mfd_isolation() to retain more cases of narrow groups on MFDs with missing ACS. - Redescribe the MFD related change as a bug fix. For a MFD to be isolated all functions must have egress control on their P2P. v1: https://patch.msgid.link/r/0-v1-74184c5043c6+195-pcie_switch_groups_jgg@xxxxxxxxxx Cc: galshalom@xxxxxxxxxx Cc: tdave@xxxxxxxxxx Cc: maorg@xxxxxxxxxx Cc: kvm@xxxxxxxxxxxxxxx Cc: Ceric Le Goater" <clg@xxxxxxxxxx> Cc: Donald Dutile <ddutile@xxxxxxxxxx> Signed-off-by: Jason Gunthorpe <jgg@xxxxxxxxxx> Jason Gunthorpe (11): PCI: Move REQ_ACS_FLAGS into pci_regs.h as PCI_ACS_ISOLATED PCI: Add pci_bus_isolated() iommu: Compute iommu_groups properly for PCIe switches iommu: Organize iommu_group by member size PCI: Add pci_reachable_set() iommu: Compute iommu_groups properly for PCIe MFDs iommu: Validate that pci_for_each_dma_alias() matches the groups PCI: Add the ACS Enhanced Capability definitions PCI: Enable ACS Enhanced bits for enable_acs and config_acs PCI: Check ACS DSP/USP redirect bits in pci_enable_pasid() PCI: Check ACS Extended flags for pci_bus_isolated() drivers/iommu/iommu.c | 510 +++++++++++++++++++++++----------- drivers/pci/ats.c | 4 +- drivers/pci/pci.c | 73 ++++- drivers/pci/search.c | 274 ++++++++++++++++++ include/linux/pci.h | 46 +++ include/uapi/linux/pci_regs.h | 18 ++ 6 files changed, 759 insertions(+), 166 deletions(-) base-commit: b320789d6883cc00ac78ce83bccbfe7ed58afcf0 -- 2.43.0