Searched refs:vmce_intel_wrmsr (Results 1 – 3 of 3) sorted by relevance
15 int vmce_intel_wrmsr(struct vcpu *, uint32_t msr, uint64_t val);
283 ret = vmce_intel_wrmsr(v, msr, val); in bank_mce_wrmsr()
945 int vmce_intel_wrmsr(struct vcpu *v, uint32_t msr, uint64_t val) in vmce_intel_wrmsr() function
Completed in 8 milliseconds