vfio_group_put_external_user 1114 drivers/vfio/pci/vfio_pci.c 			vfio_group_put_external_user(groups[i].group);
vfio_group_put_external_user 1761 drivers/vfio/vfio.c EXPORT_SYMBOL_GPL(vfio_group_put_external_user);
vfio_group_put_external_user   96 include/linux/vfio.h extern void vfio_group_put_external_user(struct vfio_group *group);
vfio_group_put_external_user   71 virt/kvm/vfio.c 	fn = symbol_get(vfio_group_put_external_user);
vfio_group_put_external_user   77 virt/kvm/vfio.c 	symbol_put(vfio_group_put_external_user);