Searched defs:input1_hi (Results 1 – 2 of 2) sorted by relevance
135 u32 input1_hi = upper_32_bits(input1); in hv_do_fast_hypercall8() local168 u32 input1_hi = upper_32_bits(input1); in hv_do_fast_hypercall16() local
152 u32 input1_hi = upper_32_bits(input1); in _hv_do_fast_hypercall8() local209 u32 input1_hi = upper_32_bits(input1); in _hv_do_fast_hypercall16() local