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