Statistics
| Branch: | Revision:

root / hw / vfio_pci.c @ 71193433

History | View | Annotate | Download (54.6 kB)

# Date Author Comment
0f41dc18 10/01/2012 09:40 pm Anthony Liguori

vfio_pci: fix build on 32-bit systems

We cannot cast directly from pointer to uint64.

Cc: Alex Williamson <>
Cc: Alex Barcelo <>
Reported-by: Alex Barcelo <>
Signed-off-by: Anthony Liguori <>
65501a74 10/01/2012 04:04 pm Alex Williamson

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...