Symbol: __vfio_register_dev
drivers/vfio/vfio_main.c
371
return __vfio_register_dev(device, VFIO_IOMMU);
drivers/vfio/vfio_main.c
381
return __vfio_register_dev(device, VFIO_EMULATED_IOMMU);