vfio_free_group_minor  384 drivers/vfio/vfio.c 		vfio_free_group_minor(minor);
vfio_free_group_minor  417 drivers/vfio/vfio.c 	vfio_free_group_minor(group->minor);