Searched refs:input1_hi (Results 1 – 1 of 1) sorted by relevance
139 u32 input1_hi = upper_32_bits(input1); in _hv_do_fast_hypercall8() local 147 "b" (input1_hi), in _hv_do_fast_hypercall8() 189 u32 input1_hi = upper_32_bits(input1); in _hv_do_fast_hypercall16() local 197 : "A" (control), "b" (input1_hi), in _hv_do_fast_hypercall16()