/* Writes msr value into into the appropriate "register". Returns 0 on success, non-0 otherwise. Assumes vcpu_load() was already called.  */
int kvm_set_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 data)
/* Writes msr value into into the appropriate "register". Returns 0 on success, non-0 otherwise. Assumes vcpu_load() was already called.  */
int kvm_set_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 data)
{
	return kvm_x86_ops->set_msr(vcpu, msr_index, data);
}