116 static inline void wr_ghcb_msr(u64 val)  in wr_ghcb_msr()
142 	u64 val = GHCB_MSR_TERM_REQ;  in hv_ghcb_terminate()  local
158 	u64 val;  in hv_ghcb_negotiate_protocol()  local
185 static void hv_ghcb_msr_write(u64 msr, u64 value)  in hv_ghcb_msr_write()
214 static void hv_ghcb_msr_read(u64 msr, u64 *value)  in hv_ghcb_msr_read()
380 static inline void hv_ghcb_msr_write(u64 msr, u64 value) {}  in hv_ghcb_msr_write()
381 static inline void hv_ghcb_msr_read(u64 msr, u64 *value) {}  in hv_ghcb_msr_read()
385 static void hv_tdx_msr_write(u64 msr, u64 val)  in hv_tdx_msr_write()
399 static void hv_tdx_msr_read(u64 msr, u64 *val)  in hv_tdx_msr_read()
429 static inline void hv_tdx_msr_write(u64 msr, u64 value) {}  in hv_tdx_msr_write()
430 static inline void hv_tdx_msr_read(u64 msr, u64 *value) {}  in hv_tdx_msr_read()
434 void hv_ivm_msr_write(u64 msr, u64 value)  in hv_ivm_msr_write()
445 void hv_ivm_msr_read(u64 msr, u64 *value)  in hv_ivm_msr_read()