Searched refs:hv_tdx_msr_read (Results 1 – 1 of 1) sorted by relevance
408 static void hv_tdx_msr_read(u64 msr, u64 *val) in hv_tdx_msr_read() function 439 static inline void hv_tdx_msr_read(u64 msr, u64 *value) {} in hv_tdx_msr_read() function 460 hv_tdx_msr_read(msr, value); in hv_ivm_msr_read()