955 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
966 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
977 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
987 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
1127 	if (!test_kvm_facility(kvm, 139) && gtod.epoch_idx)  in kvm_s390_set_tod_ext()
1200 	if (test_kvm_facility(kvm, 139)) {  in kvm_s390_get_tod_clock()
2549 	if (!test_kvm_facility(kvm, 76))  in kvm_s390_set_crycb_format()
2654 	if (!test_kvm_facility(kvm, 76))  in kvm_s390_crypto_init()
3123 	if (test_kvm_facility(vcpu->kvm, 74) || vcpu->kvm->arch.user_instr0)  in kvm_arch_vcpu_postcreate()
3154 	if (!vcpu->kvm->arch.crypto.apie && !test_kvm_facility(vcpu->kvm, 76))  in kvm_s390_vcpu_crypto_setup()
3196 	if (test_kvm_facility(vcpu->kvm, 7))  in kvm_s390_vcpu_setup_model()
3209 	if (test_kvm_facility(vcpu->kvm, 78))  in kvm_s390_vcpu_setup()
3211 	else if (test_kvm_facility(vcpu->kvm, 8))  in kvm_s390_vcpu_setup()
3219 	if (test_kvm_facility(vcpu->kvm, 9))  in kvm_s390_vcpu_setup()
3221 	if (test_kvm_facility(vcpu->kvm, 73))  in kvm_s390_vcpu_setup()
3226 	if (test_kvm_facility(vcpu->kvm, 8) && vcpu->kvm->arch.use_pfmfi)  in kvm_s390_vcpu_setup()
3228 	if (test_kvm_facility(vcpu->kvm, 130))  in kvm_s390_vcpu_setup()
3239 	if (test_kvm_facility(vcpu->kvm, 129)) {  in kvm_s390_vcpu_setup()
3243 	if (test_kvm_facility(vcpu->kvm, 139))  in kvm_s390_vcpu_setup()
3245 	if (test_kvm_facility(vcpu->kvm, 156))  in kvm_s390_vcpu_setup()
3325 	if (test_kvm_facility(vcpu->kvm, 64))  in kvm_arch_vcpu_create()
3327 	if (test_kvm_facility(vcpu->kvm, 82))  in kvm_arch_vcpu_create()
3329 	if (test_kvm_facility(vcpu->kvm, 133))  in kvm_arch_vcpu_create()
3331 	if (test_kvm_facility(vcpu->kvm, 156))  in kvm_arch_vcpu_create()
3930 	if (test_kvm_facility(kvm, 139)) {  in kvm_s390_set_tod_clock()
4264 	    test_kvm_facility(vcpu->kvm, 64) &&  in sync_regs_fmt2()
4275 	    test_kvm_facility(vcpu->kvm, 133) &&  in sync_regs_fmt2()
4284 	    test_kvm_facility(vcpu->kvm, 82)) {  in sync_regs_fmt2()