vfio: use virtual IOMMU IDs for guests

As we now have UAPI to create pvIOMMU for guests, we should use the
virtual topology in the guest device tree instead of the hardcoding
device ids.

Signed-off-by: Mostafa Saleh <smostafa@google.com>
3 files changed