/* Reads an msr value (of 'msr_index') into 'pdata'. Returns 0 on success, non-0 otherwise. Assumes vcpu_load() was already called.  */
int kvm_get_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata)
/* Reads an msr value (of 'msr_index') into 'pdata'. Returns 0 on success, non-0 otherwise. Assumes vcpu_load() was already called.  */
int kvm_get_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata)
{
	return kvm_x86_ops->get_msr(vcpu, msr_index, pdata);
}