Symbol: vfio_virqfd_exit
drivers/vfio/vfio.h
426
void vfio_virqfd_exit(void);
drivers/vfio/vfio_main.c
1804
vfio_virqfd_exit();
drivers/vfio/vfio_main.c
1817
vfio_virqfd_exit();