100 static inline u64 _hv_do_fast_hypercall8(u64 control, u64 input1)  in _hv_do_fast_hypercall8()  argument
103 	return static_call_mod(hv_hypercall)(control, input1, 0);  in _hv_do_fast_hypercall8()
105 	u32 input1_hi = upper_32_bits(input1);  in _hv_do_fast_hypercall8()
106 	u32 input1_lo = lower_32_bits(input1);  in _hv_do_fast_hypercall8()
121 static inline u64 hv_do_fast_hypercall8(u16 code, u64 input1)  in hv_do_fast_hypercall8()  argument
125 	return _hv_do_fast_hypercall8(control, input1);  in hv_do_fast_hypercall8()
129 static inline u64 _hv_do_fast_hypercall16(u64 control, u64 input1, u64 input2)  in _hv_do_fast_hypercall16()  argument
132 	return static_call_mod(hv_hypercall)(control, input1, input2);  in _hv_do_fast_hypercall16()
134 	u32 input1_hi = upper_32_bits(input1);  in _hv_do_fast_hypercall16()
135 	u32 input1_lo = lower_32_bits(input1);  in _hv_do_fast_hypercall16()
151 static inline u64 hv_do_fast_hypercall16(u16 code, u64 input1, u64 input2)  in hv_do_fast_hypercall16()  argument
155 	return _hv_do_fast_hypercall16(control, input1, input2);  in hv_do_fast_hypercall16()