Symbol: kvm_s390_reinject_machine_check
arch/s390/kvm/kvm-s390.c
4640
kvm_s390_reinject_machine_check(vcpu, mcck_info);
arch/s390/kvm/kvm-s390.h
581
void kvm_s390_reinject_machine_check(struct kvm_vcpu *vcpu,
arch/s390/kvm/vsie.c
1183
kvm_s390_reinject_machine_check(vcpu, &vsie_page->mcck_info);