930 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
941 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
952 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
962 		if (!test_kvm_facility(kvm, 76)) {  in kvm_s390_vm_set_crypto()
1102 	if (!test_kvm_facility(kvm, 139) && gtod.epoch_idx)  in kvm_s390_set_tod_ext()
1175 	if (test_kvm_facility(kvm, 139)) {  in kvm_s390_get_tod_clock()
2524 	if (!test_kvm_facility(kvm, 76))  in kvm_s390_set_crycb_format()
2605 	if (!test_kvm_facility(kvm, 76))  in kvm_s390_crypto_init()
3074 	if (test_kvm_facility(vcpu->kvm, 74) || vcpu->kvm->arch.user_instr0)  in kvm_arch_vcpu_postcreate()
3105 	if (!vcpu->kvm->arch.crypto.apie && !test_kvm_facility(vcpu->kvm, 76))  in kvm_s390_vcpu_crypto_setup()
3147 	if (test_kvm_facility(vcpu->kvm, 7))  in kvm_s390_vcpu_setup_model()
3160 	if (test_kvm_facility(vcpu->kvm, 78))  in kvm_s390_vcpu_setup()
3162 	else if (test_kvm_facility(vcpu->kvm, 8))  in kvm_s390_vcpu_setup()
3170 	if (test_kvm_facility(vcpu->kvm, 9))  in kvm_s390_vcpu_setup()
3172 	if (test_kvm_facility(vcpu->kvm, 73))  in kvm_s390_vcpu_setup()
3175 	if (test_kvm_facility(vcpu->kvm, 8) && vcpu->kvm->arch.use_pfmfi)  in kvm_s390_vcpu_setup()
3177 	if (test_kvm_facility(vcpu->kvm, 130))  in kvm_s390_vcpu_setup()
3188 	if (test_kvm_facility(vcpu->kvm, 129)) {  in kvm_s390_vcpu_setup()
3192 	if (test_kvm_facility(vcpu->kvm, 139))  in kvm_s390_vcpu_setup()
3194 	if (test_kvm_facility(vcpu->kvm, 156))  in kvm_s390_vcpu_setup()
3274 	if (test_kvm_facility(vcpu->kvm, 64))  in kvm_arch_vcpu_create()
3276 	if (test_kvm_facility(vcpu->kvm, 82))  in kvm_arch_vcpu_create()
3278 	if (test_kvm_facility(vcpu->kvm, 133))  in kvm_arch_vcpu_create()
3280 	if (test_kvm_facility(vcpu->kvm, 156))  in kvm_arch_vcpu_create()
3878 	if (test_kvm_facility(kvm, 139)) {  in kvm_s390_set_tod_clock()
4209 	    test_kvm_facility(vcpu->kvm, 64) &&  in sync_regs_fmt2()
4220 	    test_kvm_facility(vcpu->kvm, 133) &&  in sync_regs_fmt2()
4229 	    test_kvm_facility(vcpu->kvm, 82)) {  in sync_regs_fmt2()