pds_vfio_dirty_set_disabled
pds_vfio_dirty_set_disabled(pds_vfio);
void pds_vfio_dirty_set_disabled(struct pds_vfio_pci_device *pds_vfio);