Searched refs:td_tdcs_exec_read64 (Results 1 – 2 of 2) sorted by relevance
83 static __always_inline u64 td_tdcs_exec_read64(struct kvm_tdx *kvm_tdx, u32 field) in td_tdcs_exec_read64() function
2759 kvm_tdx->tsc_offset = td_tdcs_exec_read64(kvm_tdx, TD_TDCS_EXEC_TSC_OFFSET); in tdx_td_init()2760 kvm_tdx->tsc_multiplier = td_tdcs_exec_read64(kvm_tdx, TD_TDCS_EXEC_TSC_MULTIPLIER); in tdx_td_init()