KVM_S390_PFAULT_TOKEN_INVALID   92 arch/s390/kvm/diag.c 		if (vcpu->arch.pfault_token != KVM_S390_PFAULT_TOKEN_INVALID) {
KVM_S390_PFAULT_TOKEN_INVALID  131 arch/s390/kvm/diag.c 		if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)
KVM_S390_PFAULT_TOKEN_INVALID  134 arch/s390/kvm/diag.c 			vcpu->arch.pfault_token = KVM_S390_PFAULT_TOKEN_INVALID;
KVM_S390_PFAULT_TOKEN_INVALID 2714 arch/s390/kvm/kvm-s390.c 	vcpu->arch.pfault_token = KVM_S390_PFAULT_TOKEN_INVALID;
KVM_S390_PFAULT_TOKEN_INVALID 2873 arch/s390/kvm/kvm-s390.c 	vcpu->arch.pfault_token = KVM_S390_PFAULT_TOKEN_INVALID;
KVM_S390_PFAULT_TOKEN_INVALID 3268 arch/s390/kvm/kvm-s390.c 		if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)
KVM_S390_PFAULT_TOKEN_INVALID 3671 arch/s390/kvm/kvm-s390.c 	if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)
KVM_S390_PFAULT_TOKEN_INVALID 3894 arch/s390/kvm/kvm-s390.c 		if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)