45 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_set_clock()
73 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_set_prefix()
111 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_store_prefix()
140 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_store_cpu_address()
231 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_tpi()
402 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lpsw()
408 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lpsw()
413 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lpsw()
429 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_lpswe()
435 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_lpswe()
454 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stidp()
525 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stsi()
536 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stsi()
670 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
674 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
678 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
695 			return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
699 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
760 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_essa()
777 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_essa()
819 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lctl()
858 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_stctl()
892 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_lctlg()
930 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stctg()
1033 						   PGM_SPECIFICATION);  in handle_sckpf()