Lines Matching full:platform
2 * vfio based device assignment support - platform devices
23 #include "hw/vfio/vfio-platform.h"
37 #include "hw/platform-bus.h"
139 * @vdev: the VFIO platform device
159 * @opaque: actually points to the VFIO platform device
452 error_setg(errp, "this isn't a platform device"); in vfio_populate_device()
512 /* specialized functions for VFIO Platform devices */
541 vbasedev->sysfsdev = g_strdup_printf("/sys/bus/platform/devices/%s", in vfio_base_device_init()
578 warn_report("-device vfio-platform is deprecated"); in vfio_platform_realize()
629 .name = "vfio-platform",
673 dc->desc = "VFIO-based platform device assignment"; in vfio_platform_class_init()