pds_vfio_dirty_is_enabled
if (pds_vfio_dirty_is_enabled(pds_vfio))
if (pds_vfio_dirty_is_enabled(pds_vfio)) {
if (!pds_vfio_dirty_is_enabled(pds_vfio)) {
bool pds_vfio_dirty_is_enabled(struct pds_vfio_pci_device *pds_vfio);
pds_vfio_dirty_is_enabled(pds_vfio)))