Searched refs:kvm_s390_reinject_machine_check (Results 1 – 3 of 3) sorted by relevance
1204 kvm_s390_reinject_machine_check(vcpu, &vsie_page->mcck_info); in do_vsie_run()
2822 void kvm_s390_reinject_machine_check(struct kvm_vcpu *vcpu, in kvm_s390_reinject_machine_check() function
4646 kvm_s390_reinject_machine_check(vcpu, mcck_info); in vcpu_post_run()