[Qemu-devel] [RFC PATCH v2 0/4] VFIO platform: Use device properties API

[Baptiste Reynal]

This RFC shows the implementation on QEMU side of the device properties 
interface
presented in kernel patch series:
[RFC PATCH v3 0/3] vfio: platform: return device properties for a platform 
device
from branch vfio-device-properties-v3 on the repository:
https://github.com/virtualopensystems/linux-kvm-arm.git

When a VFIO device is bound to the VM, properties are queried to the host
to fill the device tree.

One issue here is whether a property may change between the host and the guest.
Currently, interrupt numbers and registers change, other information is kept
(including interrupt type and flags).

Regarding the clock, any primecell device requiring a clock is attached to
apb-pclk.

DMA pl330 is used as an example. For this reason the last patch
(3/3, arm,pl330 vfio device property) relies on the following
patch series: [RFC PATCH v3 0/3] VFIO support for AMBA devices.

Changes since v1:
- various fixes
- code clarification (some comments added)

Baptiste Reynal (4):
  linux-headers update
  hw/vfio/common.c : vfio_get_dev_property
  hw/arm/sysbus-fdt: vfio device property for interrupts
  hw/arm/sysbus-fdt: arm,pl330 vfio device property

 hw/arm/sysbus-fdt.c           | 134 ++++++++++++++++++++++++++++++++++++++++--
 hw/vfio/common.c              |  32 ++++++++++
 include/hw/vfio/vfio-common.h |   2 +
 linux-headers/linux/vfio.h    |  25 ++++++++
 4 files changed, 187 insertions(+), 6 deletions(-)

-- 
2.3.0