47 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_set_clock()
83 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_set_prefix()
123 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_store_prefix()
152 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_store_cpu_address()
242 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_tpi()
413 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lpsw()
419 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lpsw()
424 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lpsw()
440 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_lpswe()
446 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_lpswe()
465 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stidp()
536 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stsi()
547 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stsi()
681 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
685 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
689 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
706 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_pfmf()
767 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_essa()
784 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_essa()
826 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_lctl()
865 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in kvm_s390_handle_stctl()
899 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_lctlg()
937 		return kvm_s390_inject_program_int(vcpu, PGM_SPECIFICATION);  in handle_stctg()
1040 						   PGM_SPECIFICATION);  in handle_sckpf()