Symbol: td_tdcs_exec_read64
arch/x86/kvm/vmx/tdx.c
2759
kvm_tdx->tsc_offset = td_tdcs_exec_read64(kvm_tdx, TD_TDCS_EXEC_TSC_OFFSET);
arch/x86/kvm/vmx/tdx.c
2760
kvm_tdx->tsc_multiplier = td_tdcs_exec_read64(kvm_tdx, TD_TDCS_EXEC_TSC_MULTIPLIER);