Symbol: __kvm_inject_pfault_token
arch/s390/kvm/kvm-s390.c
4393
__kvm_inject_pfault_token(vcpu, true, work->arch.pfault_token);
arch/s390/kvm/kvm-s390.c
4402
__kvm_inject_pfault_token(vcpu, false, work->arch.pfault_token);