handle_ipte_interlock  937 arch/s390/kvm/priv.c 		return handle_ipte_interlock(vcpu);
handle_ipte_interlock 1262 arch/s390/kvm/priv.c 		return handle_ipte_interlock(vcpu);