KVM_REG_S390_PFTOKEN
case KVM_REG_S390_PFTOKEN:
test_one_reg(vcpu, KVM_REG_S390_PFTOKEN, KVM_S390_PFAULT_TOKEN_INVALID);