Searched refs:hv_tdx_msr_write (Results 1 – 1 of 1) sorted by relevance
385 static void hv_tdx_msr_write(u64 msr, u64 val) in hv_tdx_msr_write() function429 static inline void hv_tdx_msr_write(u64 msr, u64 value) {} in hv_tdx_msr_write() function440 hv_tdx_msr_write(msr, value); in hv_ivm_msr_write()