kvm_s390_reinject_machine_check 3795 arch/s390/kvm/kvm-s390.c 		kvm_s390_reinject_machine_check(vcpu, mcck_info);
kvm_s390_reinject_machine_check  414 arch/s390/kvm/kvm-s390.h void kvm_s390_reinject_machine_check(struct kvm_vcpu *vcpu,
kvm_s390_reinject_machine_check 1052 arch/s390/kvm/vsie.c 		kvm_s390_reinject_machine_check(vcpu, &vsie_page->mcck_info);