vgic_its_free_device 1126 virt/kvm/arm/vgic/vgic-its.c 		vgic_its_free_device(kvm, cur);
vgic_its_free_device 1185 virt/kvm/arm/vgic/vgic-its.c 		vgic_its_free_device(kvm, device);
vgic_its_free_device 2317 virt/kvm/arm/vgic/vgic-its.c 		vgic_its_free_device(its->dev->kvm, dev);