922 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
933 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
944 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
954 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
1094 	if (!test_kvm_facility(kvm, 139) && gtod.epoch_idx)  in kvm_s390_set_tod_ext()
1167 	if (test_kvm_facility(kvm, 139)) {  in kvm_s390_get_tod_clock()
2295 	if (!test_kvm_facility(kvm, 76))  in kvm_s390_set_crycb_format()
2376 	if (!test_kvm_facility(kvm, 76))  in kvm_s390_crypto_init()
2720 	if (test_kvm_facility(vcpu->kvm, 64))  in kvm_arch_vcpu_init()
2722 	if (test_kvm_facility(vcpu->kvm, 82))  in kvm_arch_vcpu_init()
2724 	if (test_kvm_facility(vcpu->kvm, 133))  in kvm_arch_vcpu_init()
2726 	if (test_kvm_facility(vcpu->kvm, 156))  in kvm_arch_vcpu_init()
2891 	if (test_kvm_facility(vcpu->kvm, 74) || vcpu->kvm->arch.user_instr0)  in kvm_arch_vcpu_postcreate()
2922 	if (!vcpu->kvm->arch.crypto.apie && !test_kvm_facility(vcpu->kvm, 76))  in kvm_s390_vcpu_crypto_setup()
2964 	if (test_kvm_facility(vcpu->kvm, 7))  in kvm_s390_vcpu_setup_model()
2976 	if (test_kvm_facility(vcpu->kvm, 78))  in kvm_arch_vcpu_setup()
2978 	else if (test_kvm_facility(vcpu->kvm, 8))  in kvm_arch_vcpu_setup()
2986 	if (test_kvm_facility(vcpu->kvm, 9))  in kvm_arch_vcpu_setup()
2988 	if (test_kvm_facility(vcpu->kvm, 73))  in kvm_arch_vcpu_setup()
2991 	if (test_kvm_facility(vcpu->kvm, 8) && vcpu->kvm->arch.use_pfmfi)  in kvm_arch_vcpu_setup()
2993 	if (test_kvm_facility(vcpu->kvm, 130))  in kvm_arch_vcpu_setup()
3004 	if (test_kvm_facility(vcpu->kvm, 129)) {  in kvm_arch_vcpu_setup()
3008 	if (test_kvm_facility(vcpu->kvm, 139))  in kvm_arch_vcpu_setup()
3010 	if (test_kvm_facility(vcpu->kvm, 156))  in kvm_arch_vcpu_setup()
3585 	if (test_kvm_facility(kvm, 139)) {  in kvm_s390_set_tod_clock()
3901 	    test_kvm_facility(vcpu->kvm, 64) &&  in sync_regs()
3912 	    test_kvm_facility(vcpu->kvm, 133) &&  in sync_regs()
3921 	    test_kvm_facility(vcpu->kvm, 82)) {  in sync_regs()