Searched refs:vmce_amd_wrmsr (Results 1 – 3 of 3) sorted by relevance
17 int vmce_amd_wrmsr(struct vcpu *, uint32_t msr, uint64_t val);
259 int vmce_amd_wrmsr(struct vcpu *v, uint32_t msr, uint64_t val) in vmce_amd_wrmsr() function
287 ret = vmce_amd_wrmsr(v, msr, val); in bank_mce_wrmsr()
Completed in 4 milliseconds