44 extern u64 hv_tdx_hypercall(u64 control, u64 param1, u64 param2);
45 extern u64 hv_snp_hypercall(u64 control, u64 param1, u64 param2);
46 extern u64 hv_std_hypercall(u64 control, u64 param1, u64 param2);
71 static inline u64 hv_do_hypercall(u64 control, void *input, void *output)  in hv_do_hypercall()
73 	u64 input_address = input ? virt_to_phys(input) : 0;  in hv_do_hypercall()
74 	u64 output_address = output ? virt_to_phys(output) : 0;  in hv_do_hypercall()
83 	u64 hv_status;  in hv_do_hypercall()
101 static inline u64 _hv_do_fast_hypercall8(u64 control, u64 input1)  in _hv_do_fast_hypercall8()
108 	u64 hv_status;  in _hv_do_fast_hypercall8()
122 static inline u64 hv_do_fast_hypercall8(u16 code, u64 input1)  in hv_do_fast_hypercall8()
124 	u64 control = (u64)code | HV_HYPERCALL_FAST_BIT;  in hv_do_fast_hypercall8()
130 static inline u64 _hv_do_fast_hypercall16(u64 control, u64 input1, u64 input2)  in _hv_do_fast_hypercall16()
139 	u64 hv_status;  in _hv_do_fast_hypercall16()
152 static inline u64 hv_do_fast_hypercall16(u16 code, u64 input1, u64 input2)  in hv_do_fast_hypercall16()
154 	u64 control = (u64)code | HV_HYPERCALL_FAST_BIT;  in hv_do_fast_hypercall16()
174 int hyperv_flush_guest_mapping(u64 as);
175 int hyperv_flush_guest_mapping_range(u64 as,
179 		u64 start_gfn, u64 end_gfn);
212 void hv_ivm_msr_write(u64 msr, u64 value);
213 void hv_ivm_msr_read(u64 msr, u64 *value);
216 static inline void hv_ivm_msr_write(u64 msr, u64 value) {}  in hv_ivm_msr_write()
217 static inline void hv_ivm_msr_read(u64 msr, u64 *value) {}  in hv_ivm_msr_read()
232 u64 hv_get_msr(unsigned int reg);
233 void hv_set_msr(unsigned int reg, u64 value);
234 u64 hv_get_non_nested_msr(unsigned int reg);
235 void hv_set_non_nested_msr(unsigned int reg, u64 value);
237 static __always_inline u64 hv_raw_get_msr(unsigned int reg)  in hv_raw_get_msr()
262 static inline int hyperv_flush_guest_mapping(u64 as) { return -1; }  in hyperv_flush_guest_mapping()
263 static inline int hyperv_flush_guest_mapping_range(u64 as,  in hyperv_flush_guest_mapping_range()
268 static inline void hv_set_msr(unsigned int reg, u64 value) { }  in hv_set_msr()
269 static inline u64 hv_get_msr(unsigned int reg) { return 0; }  in hv_get_msr()
270 static inline void hv_set_non_nested_msr(unsigned int reg, u64 value) { }  in hv_set_non_nested_msr()
271 static inline u64 hv_get_non_nested_msr(unsigned int reg) { return 0; }  in hv_get_non_nested_msr()
278 			u64 rax;
279 			u64 rcx;
280 			u64 rdx;
281 			u64 rbx;
282 			u64 cr2;
283 			u64 rbp;
284 			u64 rsi;
285 			u64 rdi;
286 			u64 r8;
287 			u64 r9;
288 			u64 r10;
289 			u64 r11;
290 			u64 r12;
291 			u64 r13;
292 			u64 r14;
293 			u64 r15;
295 		u64 gp_regs[16];
305 void mshv_vtl_return_call_init(u64 vtl_return_offset);
312 static inline void mshv_vtl_return_call_init(u64 vtl_return_offset) {}  in mshv_vtl_return_call_init()