kvm_s390_vsie_kick 1234 arch/s390/kvm/interrupt.c 	kvm_s390_vsie_kick(vcpu);
kvm_s390_vsie_kick 3138 arch/s390/kvm/kvm-s390.c 	kvm_s390_vsie_kick(vcpu);
kvm_s390_vsie_kick  273 arch/s390/kvm/kvm-s390.h void kvm_s390_vsie_kick(struct kvm_vcpu *vcpu);