Symbol: handle_ipte_interlock
arch/s390/kvm/priv.c
1276
return handle_ipte_interlock(vcpu);
arch/s390/kvm/priv.c
969
return handle_ipte_interlock(vcpu);