Directory listing for /sys/kernel/iommu_groups/17/devices/

• 0000:80:01.0@
• 0000:80:01.2@
• 0000:80:01.3@
• 0000:80:01.4@