__kvm_emulate_msr_read
int __kvm_emulate_msr_read(struct kvm_vcpu *vcpu, u32 index, u64 *data);
if (__kvm_emulate_msr_read(vcpu, MSR_IA32_U_CET, &u_cet) ||
__kvm_emulate_msr_read(vcpu, MSR_IA32_S_CET, &s_cet))
EXPORT_SYMBOL_FOR_KVM_INTERNAL(__kvm_emulate_msr_read);
return __kvm_emulate_msr_read(vcpu, index, data);
return __kvm_emulate_msr_read(emul_to_vcpu(ctxt), msr_index, pdata);