We try to remap the pci devices from dom0 to domU by assigning the pci in the domU configuration file. Such as
pci="['01:00.0@11', '01:00.1@10', '04:00.0@13', '04:00.1@12']"
In hvm kernel, the domU would see the pci devices remapped like this,
dom0 pci device 01:00.0 => domU pci device 00:11.0
dom0 pci device 01:00.1 => domU pci device 00:10.0
dom0 pci device 04:00.0 => domU pci device 00:13.0
dom0 pci device 04:00.1 => domU pci device 00:12.0
But pv-ops kernel seems ignore the remapping. Is there any way (kernel configuration setting ??) to make it work ?