tdx_has_emulated_msr
return tdx_has_emulated_msr(index);
if (!tdx_has_emulated_msr(msr->index))
bool tdx_has_emulated_msr(u32 index);