kvm_handle_sie_intercept 3800 arch/s390/kvm/kvm-s390.c 		int rc = kvm_handle_sie_intercept(vcpu);
kvm_handle_sie_intercept  237 arch/s390/kvm/kvm-s390.h int kvm_handle_sie_intercept(struct kvm_vcpu *vcpu);