I am looking to be able to check if a specific PCI device is allocated to a
guest.
An error is produced if a domain is started and the device is in use within
another domain via this function.
I cannot see a publicly available function to use to get this information,
is there one available or is there another way to check the state of the
PCI device.
Regards
Simon