Symbol: pds_vfio_reset
drivers/vfio/pci/pds/pci_drv.c
170
pds_vfio_reset(pds_vfio, VFIO_DEVICE_STATE_RUNNING);
drivers/vfio/pci/pds/pci_drv.c
42
pds_vfio_reset(pds_vfio, VFIO_DEVICE_STATE_ERROR);
drivers/vfio/pci/pds/vfio_dev.h
29
void pds_vfio_reset(struct pds_vfio_pci_device *pds_vfio,