vfio_pci_dma_buf_cleanup
vfio_pci_dma_buf_cleanup(vdev);
void vfio_pci_dma_buf_cleanup(struct vfio_pci_core_device *vdev);