128 static inline u64 _hv_do_fast_hypercall8(u64 control, u64 input1)  in _hv_do_fast_hypercall8()  argument
134 		return hv_tdx_hypercall(control, input1, 0);  in _hv_do_fast_hypercall8()
140 				"+c" (control), "+d" (input1)  in _hv_do_fast_hypercall8()
145 				       "+c" (control), "+d" (input1)  in _hv_do_fast_hypercall8()
151 		u32 input1_hi = upper_32_bits(input1);  in _hv_do_fast_hypercall8()
152 		u32 input1_lo = lower_32_bits(input1);  in _hv_do_fast_hypercall8()
167 static inline u64 hv_do_fast_hypercall8(u16 code, u64 input1)  in hv_do_fast_hypercall8()  argument
171 	return _hv_do_fast_hypercall8(control, input1);  in hv_do_fast_hypercall8()
174 static inline u64 hv_do_fast_nested_hypercall8(u16 code, u64 input1)  in hv_do_fast_nested_hypercall8()  argument
178 	return _hv_do_fast_hypercall8(control, input1);  in hv_do_fast_nested_hypercall8()
182 static inline u64 _hv_do_fast_hypercall16(u64 control, u64 input1, u64 input2)  in _hv_do_fast_hypercall16()  argument
188 		return hv_tdx_hypercall(control, input1, input2);  in _hv_do_fast_hypercall16()
194 				       "+c" (control), "+d" (input1)  in _hv_do_fast_hypercall16()
201 				       "+c" (control), "+d" (input1)  in _hv_do_fast_hypercall16()
208 		u32 input1_hi = upper_32_bits(input1);  in _hv_do_fast_hypercall16()
209 		u32 input1_lo = lower_32_bits(input1);  in _hv_do_fast_hypercall16()
225 static inline u64 hv_do_fast_hypercall16(u16 code, u64 input1, u64 input2)  in hv_do_fast_hypercall16()  argument
229 	return _hv_do_fast_hypercall16(control, input1, input2);  in hv_do_fast_hypercall16()
232 static inline u64 hv_do_fast_nested_hypercall16(u16 code, u64 input1, u64 input2)  in hv_do_fast_nested_hypercall16()  argument
236 	return _hv_do_fast_hypercall16(control, input1, input2);  in hv_do_fast_nested_hypercall16()