| ";
exec("lspci -v -s $pciaddress", $outputvfio);
if (preg_grep("/vfio-pci/i", $outputvfio)) {
@@ -79,10 +105,10 @@ case 't1':
}
echo " | ";
if ((strpos($line, 'Host bridge') === false) && (strpos($line, 'PCI bridge') === false)) {
- if (file_exists('/sys/kernel/iommu_groups/'.$iommu.'/devices/0000:'.$pciaddress.'/reset')) echo "";
+ if (file_exists('/sys/kernel/iommu_groups/'.$iommu.'/devices/'.$pciaddress.'/reset')) echo "";
echo " | ";
echo in_array($iommu, $iommuinuse) ? ' " : ">";
+ echo in_array($pciaddress, $vfio_cfg_devices) ? " checked>" : ">";
} else { echo " | "; }
echo ' | |