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