Searched refs:__write_machine_check (Results 1 – 1 of 1) sorted by relevance
572 static int __write_machine_check(struct kvm_vcpu *vcpu, in __write_machine_check() function730 rc = __write_machine_check(vcpu, &mchk); in __deliver_machine_check()