52 static void vfio_platform_get_reset(struct vfio_platform_device *vdev)  in vfio_platform_get_reset()
63 static void vfio_platform_put_reset(struct vfio_platform_device *vdev)  in vfio_platform_put_reset()
69 static int vfio_platform_regions_init(struct vfio_platform_device *vdev)  in vfio_platform_regions_init()
126 static void vfio_platform_regions_cleanup(struct vfio_platform_device *vdev)  in vfio_platform_regions_cleanup()
139 	struct vfio_platform_device *vdev = device_data;  in vfio_platform_release()  local
161 	struct vfio_platform_device *vdev = device_data;  in vfio_platform_open()  local
202 	struct vfio_platform_device *vdev = device_data;  in vfio_platform_ioctl()  local
382 	struct vfio_platform_device *vdev = device_data;  in vfio_platform_read()  local
458 	struct vfio_platform_device *vdev = device_data;  in vfio_platform_write()  local
499 	struct vfio_platform_device *vdev = device_data;  in vfio_platform_mmap()  local
547 int vfio_platform_probe_common(struct vfio_platform_device *vdev,  in vfio_platform_probe_common()
586 	struct vfio_platform_device *vdev;  in vfio_platform_remove_common()  local