title: Find the devices of an iommu group
body: <p>I am using the IOMMU API for linux and I would like to get a specific device that belongs to a specific group of a known group ID.</p>
  
  <p>The iommu_group structure has a field for the device list but it is not accessible. Is there a way to get it?</p>