History | View | Annotate | Download (54.6 kB)
vfio_pci: fix build on 32-bit systems
We cannot cast directly from pointer to uint64.
Cc: Alex Williamson <alex.williamson@redhat.com>Cc: Alex Barcelo <abarcelo@ac.upc.edu>Reported-by: Alex Barcelo <abarcelo@ac.upc.edu>Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
vfio: vfio-pci device assignment driver
This adds the core of the QEMU VFIO-based PCI device assignment driver.To make use of this driver, enable CONFIG_VFIO, CONFIG_VFIO_IOMMU_TYPE1,and CONFIG_VFIO_PCI in your host Linux kernel config. Load the vfio-pci...