99 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_set_clock()
127 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_set_prefix()
165 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_store_prefix()
194 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_store_cpu_address()
480 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_tpi()
643 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pqap()
646 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pqap()
649 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pqap()
654 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pqap()
741 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lpsw()
747 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lpsw()
752 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lpsw()
770 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_lpswe()
776 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_lpswe()
795 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stidp()
866 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stsi()
877 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stsi()
1029 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
1034 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
1067 			return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
1071 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
1209 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_essa()
1295 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lctl()
1334 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_stctl()
1368 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_lctlg()
1406 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stctg()
1515 						   PGM_SPECIFICATION);  in handle_sckpf()