Searched refs:vmce_vcpuid (Results 1 – 3 of 3) sorted by relevance
47 int vmce_vcpuid; in mc_memerr_dhandler() local112 vmce_vcpuid = VMCE_INJECT_BROADCAST; in mc_memerr_dhandler()114 vmce_vcpuid = mc_vcpuid; in mc_memerr_dhandler()118 if ( fill_vmsr_data(bank, d, global->mc_gstatus, vmce_vcpuid) ) in mc_memerr_dhandler()126 if ( inject_vmce(d, vmce_vcpuid) < 0 ) in mc_memerr_dhandler()
469 uint64_t gstatus, int vmce_vcpuid) in fill_vmsr_data() argument472 bool broadcast = (vmce_vcpuid == VMCE_INJECT_BROADCAST); in fill_vmsr_data()482 ASSERT(vmce_vcpuid >= 0 && vmce_vcpuid < d->max_vcpus); in fill_vmsr_data()483 v = d->vcpu[vmce_vcpuid]; in fill_vmsr_data()
20 uint64_t gstatus, int vmce_vcpuid);
Completed in 5 milliseconds