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);