vfio_pci_ioeventfd
return vfio_pci_ioeventfd(vdev, ioeventfd.offset, ioeventfd.data, count,
struct vfio_pci_ioeventfd *ioeventfd, *ioeventfd_tmp;
int vfio_pci_ioeventfd(struct vfio_pci_core_device *vdev, loff_t offset,
static void vfio_pci_ioeventfd_do_write(struct vfio_pci_ioeventfd *ioeventfd,
struct vfio_pci_ioeventfd *ioeventfd = opaque;
struct vfio_pci_ioeventfd *ioeventfd = opaque;
struct vfio_pci_ioeventfd *ioeventfd;