Symbol: vfio_send_eventfd
drivers/vfio/platform/vfio_platform_irq.c
168
vfio_send_eventfd(irq_ctx);
drivers/vfio/platform/vfio_platform_irq.c
177
vfio_send_eventfd(irq_ctx);