KVM_S390_PFAULT_TOKEN_INVALID
if (vcpu->arch.pfault_token != KVM_S390_PFAULT_TOKEN_INVALID) {
if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)
vcpu->arch.pfault_token = KVM_S390_PFAULT_TOKEN_INVALID;
vcpu->arch.pfault_token = KVM_S390_PFAULT_TOKEN_INVALID;
if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)
vcpu->arch.pfault_token = KVM_S390_PFAULT_TOKEN_INVALID;
if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)
if (vcpu->arch.pfault_token == KVM_S390_PFAULT_TOKEN_INVALID)
test_one_reg(vcpu, KVM_REG_S390_PFTOKEN, KVM_S390_PFAULT_TOKEN_INVALID);
TEST_ASSERT(vcpu->run->s.regs.pft == KVM_S390_PFAULT_TOKEN_INVALID,