__kvm_inject_pfault_token 3640 arch/s390/kvm/kvm-s390.c __kvm_inject_pfault_token(vcpu, true, work->arch.pfault_token); __kvm_inject_pfault_token 3647 arch/s390/kvm/kvm-s390.c __kvm_inject_pfault_token(vcpu, false, work->arch.pfault_token);