Symbol: vfio_pci_ioeventfd_do_write
drivers/vfio/pci/vfio_pci_rdwr.c
416
vfio_pci_ioeventfd_do_write(ioeventfd, false);
drivers/vfio/pci/vfio_pci_rdwr.c
428
vfio_pci_ioeventfd_do_write(ioeventfd, ioeventfd->test_mem);