Symbol: tdx_has_emulated_msr
arch/x86/kvm/vmx/main.c
178
return tdx_has_emulated_msr(index);
arch/x86/kvm/vmx/tdx.c
2175
if (!tdx_has_emulated_msr(msr->index))
arch/x86/kvm/vmx/tdx.c
2195
if (!tdx_has_emulated_msr(msr->index))
arch/x86/kvm/vmx/x86_ops.h
146
bool tdx_has_emulated_msr(u32 index);