Searched refs:hv_tdx_msr_read (Results 1 – 1 of 1) sorted by relevance
399 static void hv_tdx_msr_read(u64 msr, u64 *val) in hv_tdx_msr_read() function430 static inline void hv_tdx_msr_read(u64 msr, u64 *value) {} in hv_tdx_msr_read() function451 hv_tdx_msr_read(msr, value); in hv_ivm_msr_read()