tree df2563636fc802b1213ed93d808f0a0a7ade3d25
parent 70d921a9d2b46ffe47fa2b3faee34389b295bec0
author Mostafa Saleh <smostafa@google.com> 1682514166 +0000
committer Mostafa Saleh <smostafa@google.com> 1684879233 +0000

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>