vgic_its_free_device_list 1679 virt/kvm/arm/vgic/vgic-its.c 			vgic_its_free_device_list(kvm, its);
vgic_its_free_device_list 1928 virt/kvm/arm/vgic/vgic-its.c 	vgic_its_free_device_list(kvm, its);
vgic_its_free_device_list 2620 virt/kvm/arm/vgic/vgic-its.c 	vgic_its_free_device_list(kvm, its);