s390/kvm/kvm-s390.c

3943 	vcpu->arch.pfault_token = KVM_S390_PFAULT_TOKEN_INVALID;
4120 		r = put_user(vcpu->arch.pfault_token,
4171 		r = get_user(vcpu->arch.pfault_token,
4173 		if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)
4202 	vcpu->arch.pfault_token = KVM_S390_PFAULT_TOKEN_INVALID;
4613 	trace_kvm_s390_pfault_init(vcpu, work->arch.pfault_token);
4614 	__kvm_inject_pfault_token(vcpu, true, work->arch.pfault_token);
4622 	trace_kvm_s390_pfault_done(vcpu, work->arch.pfault_token);
4623 	__kvm_inject_pfault_token(vcpu, false, work->arch.pfault_token);
4646 	if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)
4662 	if (read_guest_real(vcpu, vcpu->arch.pfault_token, &arch.pfault_token, 8))
4877 		vcpu->arch.pfault_token = kvm_run->s.regs.pft;
4880 		if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)
5008 	kvm_run->s.regs.pft = vcpu->arch.pfault_token;