#include <linux/vfio.h>
#include <linux/vfio_pci_core.h>
#include "lm.h"
#include "dirty.h"
#include "vfio_dev.h"
struct pci_dev *pds_vfio_to_pci_dev(struct pds_vfio_pci_device *pds_vfio)
{ … }
struct device *pds_vfio_to_dev(struct pds_vfio_pci_device *pds_vfio)
{ … }
struct pds_vfio_pci_device *pds_vfio_pci_drvdata(struct pci_dev *pdev)
{ … }
void pds_vfio_reset(struct pds_vfio_pci_device *pds_vfio,
enum vfio_device_mig_state state)
{ … }
static struct file *
pds_vfio_set_device_state(struct vfio_device *vdev,
enum vfio_device_mig_state new_state)
{ … }
static int pds_vfio_get_device_state(struct vfio_device *vdev,
enum vfio_device_mig_state *current_state)
{ … }
static int pds_vfio_get_device_state_size(struct vfio_device *vdev,
unsigned long *stop_copy_length)
{ … }
static const struct vfio_migration_ops pds_vfio_lm_ops = …;
static const struct vfio_log_ops pds_vfio_log_ops = …;
static int pds_vfio_init_device(struct vfio_device *vdev)
{ … }
static void pds_vfio_release_device(struct vfio_device *vdev)
{ … }
static int pds_vfio_open_device(struct vfio_device *vdev)
{ … }
static void pds_vfio_close_device(struct vfio_device *vdev)
{ … }
static const struct vfio_device_ops pds_vfio_ops = …;
const struct vfio_device_ops *pds_vfio_ops_info(void)
{ … }